Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleSeptember 2023
Formal Synthesis of Neural Barrier Certificates for Continuous Systems via Counterexample Guided Learning
ACM Transactions on Embedded Computing Systems (TECS), Volume 22, Issue 5sArticle No.: 146, Pages 1–21https://doi.org/10.1145/3609125This paper presents a novel approach to safety verification based on neural barrier certificates synthesis for continuous dynamical systems. We construct the synthesis framework as an inductive loop between a Learner and a Verifier based on barrier ...
- research-articleJuly 2023
A Timing-Based Framework for Designing Resilient Cyber-Physical Systems under Safety Constraint
ACM Transactions on Cyber-Physical Systems (TCPS), Volume 7, Issue 3Article No.: 19, Pages 1–25https://doi.org/10.1145/3594638Cyber-physical systems (CPS) are required to satisfy safety constraints in various application domains such as robotics, industrial manufacturing systems, and power systems. Faults and cyber attacks have been shown to cause safety violations, which can ...
- research-articleSeptember 2017
Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates
ACM Transactions on Embedded Computing Systems (TECS), Volume 16, Issue 5sArticle No.: 186, Pages 1–19https://doi.org/10.1145/3126508The problem of probabilistic safety verification of stochastic hybrid systems is to check whether the probability that a given system will reach an unsafe region from certain initial states can be bounded by some given probability threshold. The paper ...
- research-articleOctober 2016
Darboux-type barrier certificates for safety verification of nonlinear hybrid systems
EMSOFT '16: Proceedings of the 13th International Conference on Embedded SoftwareArticle No.: 11, Pages 1–10https://doi.org/10.1145/2968478.2968484Benefit from less computational difficulty, barrier certificate based method has attracted much attention in safety verification of hybrid systems. Barrier certificates are inherent existences of a hybrid system and may have different types. A set of ...
- ArticleJuly 2013
Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems
CAV 2013: Proceedings of the 25th International Conference on Computer Aided Verification - Volume 8044Pages 242–257A barrier certificate is an inductive invariant function which can be used for the safety verification of a hybrid system. Safety verification based on barrier certificate has the benefit of avoiding explicit computation of the exact reachable set which ...
- articleJune 2007
Convex Programs for Temporal Verification of Nonlinear Dynamical Systems
SIAM Journal on Control and Optimization (SICON), Volume 46, Issue 3Pages 999–1021https://doi.org/10.1137/050645178A methodology for safety verification of continuous and hybrid systems using barrier certificates has been proposed recently. Conditions that must be satisfied by a barrier certificate can be formulated as a convex program, and the feasibility of the ...