O-minimal hybrid systems.
From MaRDI portal
Publication:1975237
DOI10.1007/PL00009858zbMath1059.68073OpenAlexW2055960145MaRDI QIDQ1975237
George J. Pappas, Gerardo Lafferriere, Shankar S. Sastry
Publication date: 2000
Published in: MCSS. Mathematics of Control, Signals, and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/pl00009858
Specification and verification (program logics, model checking, etc.) (68Q60) Model theory of ordered structures; o-minimality (03C64)
Related Items (51)
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 ⋮ Continuity controlled hybrid automata ⋮ Verification of Hybrid Systems ⋮ Discrete semantics for hybrid automata. Avoiding misleading assumptions in systems biology ⋮ HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour ⋮ On the expressiveness and decidability of o-minimal hybrid systems ⋮ Symbolic models for time-varying time-delay systems via alternating approximate bisimulation ⋮ Symbolic models for control systems ⋮ Polynomial interrupt timed automata: verification and expressiveness ⋮ Verification and Control of Probabilistic Rectangular Hybrid Automata ⋮ Deciding Concurrent Planar Monotonic Linear Hybrid Systems ⋮ A game-theoretic approach to fault diagnosis and identification of hybrid systems ⋮ Theory and computation of discrete state space decompositions for hybrid systems ⋮ Reachability and connectivity queries in constraint databases ⋮ Symbolic models for stochastic switched systems: A discretization and a discretization-free approach ⋮ Refinements of behavioural abstractions for the supervisory control of hybrid systems ⋮ Weighted o-minimal hybrid systems ⋮ STORMED Hybrid Systems ⋮ PTIME parametric verification of safety properties for reasonable linear hybrid automata ⋮ Bisimilar linear systems. ⋮ Unnamed Item ⋮ Specifications for decidable hybrid games ⋮ Decidable Compositions of O-Minimal Automata ⋮ HYPE: hybrid modelling by composition of flows ⋮ Zeno hybrid systems ⋮ Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets ⋮ \(\epsilon\)-semantics computations on biological systems ⋮ Symbolic models for nonlinear control systems affected by disturbances ⋮ Taylor approximation for hybrid systems ⋮ Hybrid Automata in Systems Biology: How Far Can We Go? ⋮ Hybrid process algebra ⋮ Hybrid automata, reachability, and systems biology ⋮ Unnamed Item ⋮ Symbolic reachability computation for families of linear vector fields ⋮ Formal language properties of hybrid systems with strong resets ⋮ Topologies, Continuity and Bisimulations ⋮ Equivalence of switching linear systems by bisimulation ⋮ A polynomial-time algorithm for checking equivalence under certain semiring congruences motivated by the state-space isomorphism problem for hybrid systems ⋮ Inclusion dynamics hybrid automata ⋮ Approximately bisimilar symbolic models for nonlinear control systems ⋮ Reachability analysis of rational eigenvalue linear systems ⋮ Bounds on sizes of finite bisimulations of Pfaffian dynamical systems ⋮ Property Driven Three-Valued Model Checking on Hybrid Automata ⋮ Supervisory target control for hybrid systems ⋮ Approximated Reachability on Hybrid Automata: Falsification meets Certification ⋮ Computing combinatorial types of trajectories in Pfaffian dynamics ⋮ Relaxing Goodness Is Still Good ⋮ Decisiveness of stochastic systems and its application to hybrid models ⋮ Unwinding biological systems ⋮ \texttt{VeriSIMPL 2}: an open-source software for the verification of max-plus-linear systems
This page was built for publication: O-minimal hybrid systems.
