Safety verification of interconnected hybrid systems using barrier certificates
From MaRDI portal
Publication:1793125
DOI10.1155/2016/4149059zbMath1400.93025OpenAlexW2304970226WikidataQ59131257 ScholiaQ59131257MaRDI QIDQ1793125
Jing Liu, Miaomiao Zhang, Zuohua Ding, Guobin Wang, Jifeng He, Hai-Ying Sun
Publication date: 12 October 2018
Published in: Mathematical Problems in Engineering (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1155/2016/4149059
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Attainable sets, reachability (93B03)
Uses Software
Cites Work
- Equilibrium-independent passivity: a new definition and numerical certification
- Hybrid I/O automata.
- Constructing invariants for hybrid systems
- A Dissipativity Approach to Safety Verification for Interconnected Systems
- Automatic invariant generation for hybrid systems using ideal fixed points
- Compositional safety analysis using barrier certificates
- Control Applications of Sum of Squares Programming
- Analysis of Polynomial Systems With Time Delays via the Sum of Squares Decomposition
- Algorithmic Construction of Lyapunov Functions for Power System Stability Analysis
- A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
This page was built for publication: Safety verification of interconnected hybrid systems using barrier certificates
