The following pages link to O-minimal hybrid systems. (Q1975237):
Displaying 50 items.
- \texttt{VeriSIMPL 2}: an open-source software for the verification of max-plus-linear systems (Q262437) (← links)
- Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey (Q271706) (← links)
- A game-theoretic approach to fault diagnosis and identification of hybrid systems (Q391104) (← links)
- Theory and computation of discrete state space decompositions for hybrid systems (Q397399) (← links)
- HYPE: hybrid modelling by composition of flows (Q470011) (← links)
- Weighted o-minimal hybrid systems (Q636266) (← links)
- Specifications for decidable hybrid games (Q650914) (← links)
- Discrete semantics for hybrid automata. Avoiding misleading assumptions in systems biology (Q843992) (← links)
- Symbolic models for control systems (Q868433) (← links)
- Hybrid automata, reachability, and systems biology (Q969180) (← links)
- Inclusion dynamics hybrid automata (Q999262) (← links)
- Approximately bisimilar symbolic models for nonlinear control systems (Q1004115) (← links)
- Bounds on sizes of finite bisimulations of Pfaffian dynamical systems (Q1015374) (← links)
- Computing combinatorial types of trajectories in Pfaffian dynamics (Q1044670) (← links)
- Reachability and connectivity queries in constraint databases (Q1394800) (← links)
- Bisimilar linear systems. (Q1421437) (← links)
- Symbolic models for stochastic switched systems: A discretization and a discretization-free approach (Q1689367) (← links)
- Hybrid process algebra (Q1763160) (← links)
- PTIME parametric verification of safety properties for reasonable linear hybrid automata (Q1949771) (← links)
- Decisiveness of stochastic systems and its application to hybrid models (Q2105467) (← links)
- Refinements of behavioural abstractions for the supervisory control of hybrid systems (Q2197592) (← links)
- Unwinding biological systems (Q2348024) (← links)
- Continuity controlled hybrid automata (Q2368692) (← links)
- On the expressiveness and decidability of o-minimal hybrid systems (Q2387414) (← links)
- \(\epsilon\)-semantics computations on biological systems (Q2453211) (← links)
- Taylor approximation for hybrid systems (Q2461793) (← links)
- Polynomial interrupt timed automata: verification and expressiveness (Q2662502) (← links)
- Zeno hybrid systems (Q2716782) (← links)
- Safety verification and adaptive model predictive control of the hybrid dynamics of a fuel cell system (Q2893352) (← links)
- Verification and Control of Probabilistic Rectangular Hybrid Automata (Q2945577) (← links)
- Deciding Concurrent Planar Monotonic Linear Hybrid Systems (Q2945600) (← links)
- Reachability analysis of rational eigenvalue linear systems (Q3072442) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour (Q3184681) (← links)
- Symbolic models for time-varying time-delay systems via alternating approximate bisimulation (Q3465677) (← links)
- STORMED Hybrid Systems (Q3519497) (← links)
- Decidable Compositions of O-Minimal Automata (Q3540076) (← links)
- Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets (Q3543289) (← links)
- Property Driven Three-Valued Model Checking on Hybrid Automata (Q3638286) (← links)
- Supervisory target control for hybrid systems (Q4459051) (← links)
- Symbolic models for nonlinear control systems affected by disturbances (Q4897709) (← links)
- Topologies, Continuity and Bisimulations (Q4943548) (← links)
- Approximated Reachability on Hybrid Automata: Falsification meets Certification (Q4982085) (← links)
- (Q5021008) (← links)
- (Q5079750) (← links)
- Formal language properties of hybrid systems with strong resets (Q5190079) (← links)
- Hybrid Automata in Systems Biology: How Far Can We Go? (Q5404076) (← links)
- Relaxing Goodness Is Still Good (Q5505608) (← links)
- Equivalence of switching linear systems by bisimulation (Q5758269) (← links)
- Symbolic reachability computation for families of linear vector fields (Q5945290) (← links)