Discrete-time control for rectangular hybrid automata

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)

zbMATH Keywords

hybrid systemscontroller synthesiscomputer-aided verification

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (46)

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

• HyTech

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

This page was built for publication: Discrete-time control for rectangular hybrid automata