Discrete-time control for rectangular hybrid automata
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 177515 (Why is no real title available?)
- scientific article; zbMATH DE number 1263213 (Why is no real title available?)
- scientific article; zbMATH DE number 1507210 (Why is no real title available?)
- A theory of timed automata
- Algorithmic analysis of nonlinear hybrid systems
- Alternation
- Generalized finite automata theory with an application to a decision problem of second-order logic
- HyTech: A model checker for hybrid systems
- Hybrid automata with finite bisimulations
- Modularity for timed and hybrid systems
- Number of quantifiers is better than number of tape cells
- On the menbership problem for functional and multivalued dependencies in relational databases
- On the synthesis of discrete controllers for timed systems
- On the synthesis of strategies in infinite games
- State equivalences for rectangular hybrid automata
- Supervisory Control of a Class of Discrete Event Processes
- Symbolic model checking for real-time systems
- Symbolic model checking: \(10^{20}\) states and beyond
- The algorithmic analysis of hybrid systems
Cited in
(51)- Minimum Attention Controller Synthesis for Omega-Regular Objectives
- A survey of timed automata for the development of real-time systems
- Amir Pnueli and the dawn of hybrid systems
- On integration of event-based estimation and robust MPC in a feedback loop
- Verification and control for probabilistic hybrid automata with finite bisimulations
- Time-optimal control for discrete-time hybrid automata
- Modular discrete time approximations of distributed hybrid automata
- Finite automata on timed \(\omega\)-trees
- Modeling and verification of stochastic hybrid systems using HIOA: a case study on DNA replication
- Timed I/O automata: a complete specification theory for real-time systems
- Cancer hybrid automata: model, beliefs and therapy
- Virtual clothing in hybrid cellular automata
- Supervisory control and reactive synthesis: a comparative introduction
- Observer-based control of block-triangular discrete time hybrid automata on a partial order
- Oscillation analysis of linearly coupled piecewise affine systems
- PSPACE-completeness of modular supervisory control problems
- Discrete-time control for rectangular hybrid automata
- Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets
- Timed automata with observers under energy constraints
- Safe compositional network sketches: formal framework
- Automatic invariant generation for hybrid systems using ideal fixed points
- Rank properties of Poincaré maps for hybrid systems with applications to bipedal walking
- Verification of Hybrid Systems
- On the connections between PCTL and dynamic programming
- Accurate hybridization of nonlinear systems
- Identifiability of discrete-time linear switched systems
- Continuity controlled hybrid automata
- scientific article; zbMATH DE number 1538038 (Why is no real title available?)
- A generating function approach to the stability of discrete-time switched linear systems
- Convergence results for ant routing algorithms viastochastic approximation
- On a control algorithm for time-varying processor availability
- Real-time scheduling of mixture-of-experts systems with limited resources
- Stabilization of planar switched linear systems using polar coordinates
- Synthesis using approximately bisimilar abstractions, state-feedback controllers for safety specifications
- Bayesian statistical model checking with application to Simulink/Stateflow verification
- On infinity norms as Lyapunov functions for piecewise affine systems
- The complexity of coverage
- Succinct discrete time approximations of distributed hybrid automata
- From synchronous programs to symbolic representations of hybrid systems
- Distributed Kalman filter algorithms for self-localization of mobile devices
- Specifications for decidable hybrid games
- Controller synthesis for dynamic hierarchical real-time plants using timed automata
- A descent algorithm for the optimal control of constrained nonlinear switched dynamical systems
- Partial-observation stochastic games, how to win when belief fails
- Monte-Carlo techniques for falsification of temporal properties of non-linear hybrid systems
- Stealthy deception attacks on water SCADA systems
- Receding horizon control for temporal logic specifications
- Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems
- Comparison of overapproximation methods for stability analysis of networked control systems
- scientific article; zbMATH DE number 2085321 (Why is no real title available?)
- Compositional analysis for linear control systems
This page was built for publication: Discrete-time control for rectangular hybrid automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1960531)
