Metrization and Simulation of Controlled Hybrid Systems
From MaRDI portal
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Abstract: The study of controlled hybrid systems requires practical tools for approximation and comparison of system behaviors. Existing approaches to these problems impose undue restrictions on the system's continuous and discrete dynamics. Metrization and simulation of controlled hybrid systems is considered here in a unified framework by constructing a state space metric. The metric is applied to develop a numerical simulation algorithm that converges uniformly, with a known rate of convergence, to orbitally stable executions of controlled hybrid systems, up to and including Zeno events. Benchmark hybrid phenomena illustrate the utility of the proposed tools.
Cited in
(7)- Synchronization of impacting mechanical systems with a single constraint
- First steps toward formal controller synthesis for bipedal robots with experimental implementation
- Event-selected vector field discontinuities yield piecewise-differentiable flows
- Applications of MetiTarski in the Verification of Control and Hybrid Systems
- Conley's fundamental theorem for a class of hybrid systems
- Composite supervisory control for symmetric discrete-event systems
- Peak estimation of hybrid systems with convex optimization
This page was built for publication: Metrization and Simulation of Controlled Hybrid Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2982580)
