Scalable Formal Verification of Resilient Converter-dominated MVDC Networks
Abstract
The scope of the proposed work is to achieve trusted guarantees of autonomy,resiliency, and survivability in converter-dominated sh""ipboard~s medium-voltage DC (MVDC) power networks, encompassing feasible operational scenarios, by leveraging contemporary insights"" from power electronics systems, control theory, and formal verification methods. Given the accelerated machinery autonomy as well a""s penetration of software-controlled power electronics systems in next-generation integrated power systems on board electrics ships,"" cyber-physical faults and defects, as well as malicious cyberattacks,are likely to be the next big challenge to fault-tolerant oper""ation of such complex achineries. Electric ships are moving toward increased or full autonomy, where systems with tens to hundreds"" of computers and millions of lines of code will become normal.Therefore, scalable formal verification frameworks are urgently need""ed to provide safety guarantees for cyber-physical power distribution networks in electric ships with a wide range of components, un""its, devices, and systems. Existing scalable verification techniques, based on model-free system representations, are heuristic and" incomplete.
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- Mar 26, 2018
- Source ID
- N000141812184
Entities
People
- Ali Davoudi
Organizations
- Office of Naval Research
- United States Navy
- University of Texas at Arlington