scientific article; zbMATH DE number 1303067
From MaRDI portal
Publication:4249569
zbMATH Open0926.93036MaRDI QIDQ4249569FDOQ4249569
Authors: Gerardo Lafferriere, George Pappas, Sergio Yovine 
Publication date: 22 November 1999
Title of this publication is not available (Why is that?)
Recommendations
- Decidable hybrid systems
- A Class of Decidable Parametric Hybrid Systems
- scientific article; zbMATH DE number 1927563
- On the decidability and complexity of problems for restricted hierarchical hybrid systems
- A decidable class of planar linear hybrid systems
- A Decidable Class of Planar Linear Hybrid Systems
- On the decidability of stability of hybrid systems
- Low dimensional hybrid systems -- decidable, undecidable, don't know
- scientific article; zbMATH DE number 6533399
- Deductive systems and the decidability problem for hybrid logics
Attainable sets, reachability (93B03) Variable structure systems (93B12) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Model theory (03C99)
Cited In (42)
- Some decidable results on reachability of solvable systems
- Theory and computation of discrete state space decompositions for hybrid systems
- Topologies, Continuity and Bisimulations
- On the expressiveness and decidability of o-minimal hybrid systems
- Interrupt timed automata: verification and expressiveness
- Reachability analysis of linear systems with stepwise constant inputs
- Deciding concurrent planar monotonic linear hybrid systems
- Property Driven Three-Valued Model Checking on Hybrid Automata
- Discrete semantics for hybrid automata. Avoiding misleading assumptions in systems biology
- Differential dynamic logic for hybrid systems
- Bounded Verification of Reachability of Probabilistic Hybrid Systems
- Reachability and connectivity queries in constraint databases
- Decidability of the reachability for a family of linear vector fields
- SAT modulo linear arithmetic for solving polynomial constraints
- Limit cycles of linear vector fields on \(( \mathbb{S}^2)^m \times \mathbb{R}^N\)
- Approximated reachability on hybrid automata: falsification meets certification
- Title not available (Why is that?)
- A survey of computational complexity results in systems and control
- A decidable class of planar linear hybrid systems
- Taylor approximation for hybrid systems
- Symbolic reachability computation for families of linear vector fields
- Monotonic hybrid systems
- Supervisory control of hybrid systems based on model abstraction and guided search
- Title not available (Why is that?)
- Expressive power of hybrid systems with variables, parameters and arrays
- Decidable hybrid systems
- Low dimensional hybrid systems -- decidable, undecidable, don't know
- On the decidability of reachability in continuous time linear time-invariant systems
- STORMED Hybrid Systems
- Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers
- Interrupt Timed Automata
- A Decidable Class of Planar Linear Hybrid Systems
- Decidable integration graphs.
- PTIME parametric verification of safety properties for reasonable linear hybrid automata
- A Class of Decidable Parametric Hybrid Systems
- Hybrid systems: From verification to falsification by combining motion planning and discrete search
- Formal language properties of hybrid systems with strong resets
- Periodically Controlled Hybrid Systems
- Title not available (Why is that?)
- Towards a hybrid dynamic logic for hybrid dynamic systems
- Discrete-time hybrid modeling and verification of the batch evaporator process benchmark
- Safety verification for probabilistic hybrid 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 Q4249569)
