Towards formal verification of smart grid distributed intelligence: FREEDM case.

Sandeep Patil, Gulnara Zhabelova, Valeriy Vyatkin, Bruce M. McMillin

Browse the full IECON paper archive.