Search Results for author:
Found 6 papers, 1 papers with code
On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains
Furthermore, motivated by this formulation, we introduce the definition of homogenized systems and propose a complete characterization of a family of non-polynomial barrier certificates with more expressive power.
Reset Controller Synthesis by Reach-avoid Analysis for Delay Hybrid Systems
A reset controller plays a crucial role in designing hybrid systems.
Correct-by-Construction for Hybrid Systems by Synthesizing Reset Controller
Controller synthesis, including reset controller, feedback controller, and switching logic controller, provides an essential mechanism to guarantee the correctness and reliability of hybrid systems in a correct-by-construction manner.
Switching Controller Synthesis for Delay Hybrid Systems under Perturbations
Delays are ubiquitous in modern hybrid systems, which exhibit both continuous and discrete dynamical behaviors.
Learning One-Clock Timed Automata
We present an algorithm for active learning of deterministic timed automata with a single clock.
Formal Languages and Automata Theory
NIL: Learning Nonlinear Interpolants
Nonlinear interpolants have been shown useful for the verification of programs and hybrid systems in contexts of theorem proving, model checking, abstract interpretation, etc.
