O-minimal hybrid systems.
From MaRDI portal
Publication:1975237
Recommendations
Cited in
(62)- Approximately bisimilar symbolic models for nonlinear control systems
- Bounds on sizes of finite bisimulations of Pfaffian dynamical systems
- Computing combinatorial types of trajectories in Pfaffian dynamics
- Reachability and connectivity queries in constraint databases
- Bisimilar linear systems.
- Symbolic models for stochastic switched systems: A discretization and a discretization-free approach
- Hybrid process algebra
- PTIME parametric verification of safety properties for reasonable linear hybrid automata
- Decisiveness of stochastic systems and its application to hybrid models
- Refinements of behavioural abstractions for the supervisory control of hybrid systems
- Unwinding biological systems
- Continuity controlled hybrid automata
- On the expressiveness and decidability of o-minimal hybrid systems
- \(\epsilon\)-semantics computations on biological systems
- Taylor approximation for hybrid systems
- \texttt{VeriSIMPL 2}: an open-source software for the verification of max-plus-linear systems
- Polynomial interrupt timed automata: verification and expressiveness
- Zeno hybrid systems
- Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey
- Safety verification and adaptive model predictive control of the hybrid dynamics of a fuel cell system
- Verification and control of probabilistic rectangular hybrid automata
- Deciding concurrent planar monotonic linear hybrid systems
- Hybrid automata and bisimulations
- Reachability analysis of rational eigenvalue linear systems
- Verification of Hybrid Systems
- HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour
- Symbolic models for time-varying time-delay systems via alternating approximate bisimulation
- STORMED Hybrid Systems
- Decidable Compositions of O-Minimal Automata
- Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets
- Property Driven Three-Valued Model Checking on Hybrid Automata
- A game-theoretic approach to fault diagnosis and identification of hybrid systems
- Theory and computation of discrete state space decompositions for hybrid systems
- scientific article; zbMATH DE number 1301620 (Why is no real title available?)
- scientific article; zbMATH DE number 1303062 (Why is no real title available?)
- Supervisory target control for hybrid systems
- HYPE: hybrid modelling by composition of flows
- Symbolic models for nonlinear control systems affected by disturbances
- Topologies, Continuity and Bisimulations
- Approximated reachability on hybrid automata: falsification meets certification
- Decisiveness of stochastic systems and its application to hybrid models
- Finite bisimulations for dynamical systems with overlapping trajectories
- Formal language properties of hybrid systems with strong resets
- O-minimal hybrid reachability games
- Hybrid Systems: Computation and Control
- Computer Science Logic
- Words and bisimulations of dynamical systems
- Hybrid Automata in Systems Biology: How Far Can We Go?
- Relaxing Goodness Is Still Good
- Equivalence of switching linear systems by bisimulation
- Logical Approaches to Computational Barriers
- Symbolic reachability computation for families of linear vector fields
- A polynomial-time algorithm for checking equivalence under certain semiring congruences motivated by the state-space isomorphism problem for hybrid systems
- Weighted o-minimal hybrid systems
- Specifications for decidable hybrid games
- Reachability analysis of linear systems
- Linear dynamical systems with weight functions
- Verification of linear dynamical systems via o-minimality of the real numbers
- Discrete semantics for hybrid automata. Avoiding misleading assumptions in systems biology
- Symbolic models for control systems
- Hybrid automata, reachability, and systems biology
- Inclusion dynamics hybrid automata
This page was built for publication: O-minimal hybrid systems.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1975237)
