Discrete-time control for rectangular hybrid automata
From MaRDI portal
Publication:1960531
DOI10.1016/S0304-3975(99)00038-9zbMath0930.68086MaRDI QIDQ1960531
Thomas A. Henzinger, Peter W. Kopke
Publication date: 12 January 2000
Published in: Theoretical Computer Science (Search for Journal in Brave)
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Minimum Attention Controller Synthesis for Omega-Regular Objectives ⋮ Verification of Hybrid Systems ⋮ Observer-based control of block-triangular discrete time hybrid automata on a partial order ⋮ Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems ⋮ A survey of timed automata for the development of real-time systems ⋮ Finite automata on timed \(\omega\)-trees ⋮ Supervisory control and reactive synthesis: a comparative introduction ⋮ Controller synthesis for dynamic hierarchical real-time plants using timed automata ⋮ Modular discrete time approximations of distributed hybrid automata ⋮ Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets ⋮ Specifications for decidable hybrid games ⋮ Succinct discrete time approximations of distributed hybrid automata ⋮ Accurate hybridization of nonlinear systems ⋮ Compositional analysis for linear control systems ⋮ On integration of event-based estimation and robust MPC in a feedback loop ⋮ From synchronous programs to symbolic representations of hybrid systems ⋮ A descent algorithm for the optimal control of constrained nonlinear switched dynamical systems ⋮ Timed automata with observers under energy constraints ⋮ Real-time scheduling of mixture-of-experts systems with limited resources ⋮ On a control algorithm for time-varying processor availability ⋮ Timed I/O automata ⋮ Receding horizon control for temporal logic specifications ⋮ Synthesis using approximately bisimilar abstractions ⋮ Oscillation analysis of linearly coupled piecewise affine systems ⋮ On infinity norms as Lyapunov functions for piecewise affine systems ⋮ Identifiability of discrete-time linear switched systems ⋮ Rank properties of poincare maps for hybrid systems with applications to bipedal walking ⋮ Stealthy deception attacks on water SCADA systems ⋮ Comparison of overapproximation methods for stability analysis of networked control systems ⋮ Distributed Kalman Filter algorithms for self-localization of mobile devices ⋮ Convergence results for ant routing algorithms viastochastic approximation ⋮ Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems ⋮ Automatic invariant generation for hybrid systems using ideal fixed points ⋮ Safe compositional network sketches ⋮ Bayesian statistical model checking with application to Simulink/Stateflow verification ⋮ On the connections between PCTL and dynamic programming ⋮ Modeling and verification of stochastic hybrid systems using HIOA ⋮ A generating function approach to the stability of discrete-time switched linear systems ⋮ Stabilization of planar switched linear systems using polar coordinates ⋮ Amir Pnueli and the dawn of hybrid systems ⋮ Cancer hybrid automata: model, beliefs and therapy ⋮ Verification and control for probabilistic hybrid automata with finite bisimulations ⋮ Partial-Observation Stochastic Games ⋮ PSPACE-completeness of modular supervisory control problems ⋮ Virtual clothing in hybrid cellular automata ⋮ THE COMPLEXITY OF COVERAGE
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The algorithmic analysis of hybrid systems
- Number of quantifiers is better than number of tape cells
- Symbolic model checking: \(10^{20}\) states and beyond
- A theory of timed automata
- Symbolic model checking for real-time systems
- HyTech: A model checker for hybrid systems
- Supervisory Control of a Class of Discrete Event Processes
- On the menbership problem for functional and multivalued dependencies in relational databases
- Alternation
- Algorithmic analysis of nonlinear hybrid systems
- On the synthesis of strategies in infinite games
- On the synthesis of discrete controllers for timed systems
- Hybrid automata with finite bisimulations
- Generalized finite automata theory with an application to a decision problem of second-order logic
- Modularity for timed and hybrid systems
- State equivalences for rectangular hybrid automata
