scientific article; zbMATH DE number 2085344

zbMATH Open1044.93523MaRDI QIDQ4736610FDOQ4736610

Ashish Tiwari, Gaurav Khanna

Publication date: 9 August 2004

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

Title of this publication is not available (Why is that?)

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)

Cited In (26)

• Approximated Reachability on Hybrid Automata: Falsification meets Certification
• 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
• Hybrid Systems: Computation and Control
• Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
• CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks
• Property Driven Three-Valued Model Checking on Hybrid Automata
• Computer Aided Verification
• Unwinding biological systems
• Inclusion dynamics hybrid automata
• From control law diagrams to Ada via \textsf{Circus}
• Hybridization methods for the analysis of nonlinear systems
• Pegasus: sound continuous invariant generation
• Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata
• Proving approximate implementations for probabilistic I/O automata
• The minimum principle of hybrid optimal control theory
• Template-Based Unbounded Time Verification of Affine Hybrid Automata
• Model checking learning agent systems using Promela with embedded C code and abstraction
• Hybrid automata, reachability, and systems biology
• Computing reachable sets for uncertain nonlinear monotone systems
• Abstractions for hybrid systems
• Title not available (Why is that?)
• Polynomial interrupt timed automata: verification and expressiveness
• Pegasus: a framework for sound continuous invariant generation
• Algorithm of uniform filling of nonlinear dynamic system reachable set based on maximin problem solution
• Finite abstraction of mixed monotone systems with discrete and continuous inputs

Uses Software

• SACLIB
• PVS

   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 👍 👎

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)