scientific article; zbMATH DE number 2085344

zbMATH Open1044.93523MaRDI QIDQ4736610FDOQ4736610

Authors Gaurav Khanna, Ashish Tiwari

Publication date 9 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2289/22890465.htm

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• Abstractions for hybrid systems
• Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking
• Abstractions of hybrid systems for verification
• The algorithmic analysis of hybrid systems
• Compositional abstractions of hybrid control systems

Cited in

(30)

• scientific article; zbMATH DE number 7533351 (Why is no real title available?)
• Inclusion dynamics hybrid automata
• Proving approximate implementations for probabilistic I/O automata
• Implicit semi-algebraic abstraction for polynomial dynamical systems
• Computer Aided Verification
• Hybridization methods for the analysis of nonlinear systems
• Change-of-bases abstractions for non-linear hybrid systems
• Approximated reachability on hybrid automata: falsification meets certification
• Unwinding biological systems
• CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks
• Template-based unbounded time verification of affine hybrid automata
• Hybrid automata, reachability, and systems biology
• Algorithm of uniform filling of nonlinear dynamic system reachable set based on maximin problem solution
• Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking
• Abstractions of hybrid systems for verification
• Computing reachable sets for uncertain nonlinear monotone systems
• Property Driven Three-Valued Model Checking on Hybrid Automata
• Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata
• Pegasus: a framework for sound continuous invariant generation
• From control law diagrams to Ada via \textsf{Circus}
• Abstractions for hybrid systems
• Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
• Polynomial interrupt timed automata: verification and expressiveness
• Model checking learning agent systems using Promela with embedded C code and abstraction
• Verifying safety properties of a nonlinear control by interactive theorem proving with the prototype verification system
• Qualitative fault tolerance analysis for a class of hybrid systems
• Finite abstraction of mixed monotone systems with discrete and continuous inputs
• Pegasus: sound continuous invariant generation
• Hybrid Systems: Computation and Control
• The minimum principle of hybrid optimal control theory

Describes a project that uses

Uses Software

• SACLIB
• PVS

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4736610)