Recommendations
Cited in
(34)- 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: a complete specification theory for real-time systems
- Receding horizon control for temporal logic specifications
- Synthesis using approximately bisimilar abstractions, state-feedback controllers for safety specifications
- 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 Poincaré 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: formal framework
- 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 case study on DNA replication
- 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
- Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space
- Modular discrete time approximations of distributed hybrid automata
- scientific article; zbMATH DE number 1301631 (Why is no real title available?)
- Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces
- Hybrid Systems: Computation and Control
This page was built for publication: Hybrid Systems: Computation and Control
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5307451)
