scientific article; zbMATH DE number 1303067
From MaRDI portal
Publication:4249569
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
Cited in
(42)- Differential dynamic logic for hybrid systems
- scientific article; zbMATH DE number 7533351 (Why is no real title available?)
- Formal language properties of hybrid systems with strong resets
- Decidable integration graphs.
- Reachability analysis of linear systems with stepwise constant inputs
- A decidable class of planar linear hybrid systems
- Topologies, Continuity and Bisimulations
- Deciding concurrent planar monotonic linear hybrid systems
- SAT modulo linear arithmetic for solving polynomial constraints
- Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers
- Symbolic reachability computation for families of linear vector fields
- Discrete-time hybrid modeling and verification of the batch evaporator process benchmark
- Limit cycles of linear vector fields on \(( \mathbb{S}^2)^m \times \mathbb{R}^N\)
- Interrupt timed automata: verification and expressiveness
- On the decidability of reachability in continuous time linear time-invariant systems
- Approximated reachability on hybrid automata: falsification meets certification
- Supervisory control of hybrid systems based on model abstraction and guided search
- On the expressiveness and decidability of o-minimal hybrid systems
- Theory and computation of discrete state space decompositions for hybrid systems
- scientific article; zbMATH DE number 2084368 (Why is no real title available?)
- Taylor approximation for hybrid systems
- PTIME parametric verification of safety properties for reasonable linear hybrid automata
- Some decidable results on reachability of solvable systems
- Low dimensional hybrid systems -- decidable, undecidable, don't know
- A survey of computational complexity results in systems and control
- Interrupt Timed Automata
- Property Driven Three-Valued Model Checking on Hybrid Automata
- Reachability and connectivity queries in constraint databases
- Monotonic hybrid systems
- A Class of Decidable Parametric Hybrid Systems
- Discrete semantics for hybrid automata. Avoiding misleading assumptions in systems biology
- Hybrid systems: From verification to falsification by combining motion planning and discrete search
- Decidability of the reachability for a family of linear vector fields
- Safety verification for probabilistic hybrid systems
- Periodically Controlled Hybrid Systems
- scientific article; zbMATH DE number 1927563 (Why is no real title available?)
- Expressive power of hybrid systems with variables, parameters and arrays
- Towards a hybrid dynamic logic for hybrid dynamic systems
- A Decidable Class of Planar Linear Hybrid Systems
- Bounded Verification of Reachability of Probabilistic Hybrid Systems
- STORMED Hybrid Systems
- Decidable 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)
