Restructuring Dynamical Systems for Inductive Verification

Restructuring Dynamical Systems for Inductive Verification

Inductive approaches to deductive verification has gained widespread adoption in the control and verification of safety-critical dynamical systems. The practical success of barrier certificates attests to their effectiveness and ongoing theoretical and practical refinement. However, when verificatio...

Full description

Bibliographic Details
Main Authors: Vishnu Murali, Ashutosh Trivedi, Majid Zamani
Format: Article
Language:English
Published: IEEE 2023-01-01
Series:IEEE Open Journal of Control Systems
Subjects:
Barrier certificates
cyber-physical systems
formal verification
induction
safety
Online Access:https://ieeexplore.ieee.org/document/10179178/

Internet

https://ieeexplore.ieee.org/document/10179178/

Similar Items