Hybrid Systems: Computation and Control
From MaRDI portal
Publication:5703956
DOI10.1007/b106766zbMath1078.68069OpenAlexW2502452588MaRDI QIDQ5703956
P. S. Thiagarajan, Manindra Agrawal
Publication date: 11 November 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b106766
Related Items
Rigorous Discretization of Hybrid Systems Using Process Calculi, Modular discrete time approximations of distributed hybrid automata, Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space, PTIME parametric verification of safety properties for reasonable linear hybrid automata, Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces, 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
Uses Software
