Hybrid Systems: Computation and Control
From MaRDI portal
Publication:5307451
Recommendations
Cited in
(33)- Receding horizon control for temporal logic specifications
- Hybrid Systems: Computation and Control
- Automatic invariant generation for hybrid systems using ideal fixed points
- Comparison of overapproximation methods for stability analysis of networked control systems
- A descent algorithm for the optimal control of constrained nonlinear switched dynamical systems
- Compositional analysis for linear control systems
- Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces
- Succinct discrete time approximations of distributed hybrid automata
- Distributed Kalman filter algorithms for self-localization of mobile devices
- Modular discrete time approximations of distributed hybrid automata
- Timed I/O automata: a complete specification theory for real-time systems
- Timed automata with observers under energy constraints
- Stealthy deception attacks on water SCADA systems
- Modeling and verification of stochastic hybrid systems using HIOA: a case study on DNA replication
- Monte-Carlo techniques for falsification of temporal properties of non-linear hybrid systems
- Amir Pnueli and the dawn of hybrid systems
- Safe compositional network sketches: formal framework
- On integration of event-based estimation and robust MPC in a feedback loop
- Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space
- On the connections between PCTL and dynamic programming
- Oscillation analysis of linearly coupled piecewise affine systems
- 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
- Accurate hybridization of nonlinear systems
- Identifiability of discrete-time linear switched systems
- Synthesis using approximately bisimilar abstractions, state-feedback controllers for safety specifications
- Rank properties of Poincaré maps for hybrid systems with applications to bipedal walking
- Bayesian statistical model checking with application to Simulink/Stateflow verification
- On infinity norms as Lyapunov functions for piecewise affine systems
- From synchronous programs to symbolic representations of hybrid systems
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)
