Verification and Control of Hybrid Systems
From MaRDI portal
Publication:3629218
DOI10.1007/978-1-4419-0224-5zbMath1195.93001OpenAlexW2487779201MaRDI QIDQ3629218
Publication date: 27 May 2009
Full work available at URL: https://doi.org/10.1007/978-1-4419-0224-5
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Control/observation systems involving computers (process control, etc.) (93C83) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to systems and control theory (93-01)
Related Items
Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives ⋮ Skill-Based Verification of Cyber-Physical Systems ⋮ A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata ⋮ Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability ⋮ Continuity as a computational effect ⋮ Finite abstraction of mixed monotone systems with discrete and continuous inputs ⋮ Introduction to Model Checking ⋮ Verification of Hybrid Systems ⋮ Finite abstractions with robustness margins for temporal logic-based control synthesis ⋮ Compositional and symbolic synthesis of reactive controllers for multi-agent systems ⋮ Qualitative behavior of solutions of Liénard-type systems with state-dependent impulses ⋮ Approximately bisimilar symbolic model for switched systems with unstable subsystems ⋮ Consistent reduction in discrete-event systems ⋮ Symbolic models for time-varying time-delay systems via alternating approximate bisimulation ⋮ Reachability and observability reduction for linear switched systems with constrained switching ⋮ Synthesis for observability of logical control networks ⋮ Optimal control of probabilistic logic networks and its application to real-time pricing of electricity ⋮ Compositional abstraction-based synthesis for networks of stochastic switched systems ⋮ Symbolic abstractions for nonlinear control systems via feedback refinement relation ⋮ First steps toward formal controller synthesis for bipedal robots with experimental implementation ⋮ On quotients of Boolean control networks ⋮ Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications ⋮ Control barrier functions for stochastic systems ⋮ Symbolic control design of incrementally stable nonlinear systems with dynamic regular language specifications ⋮ Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications ⋮ \(p\)-dominant switched linear systems ⋮ Data-driven controller synthesis for abstract systems with regular language specifications ⋮ Data-driven and model-based verification via Bayesian identification and reachability analysis ⋮ Approximate predictability of pseudo-metric systems ⋮ Nonlinear norm-observability and simulation of control systems ⋮ Abstraction and control by interconnection of linear systems: a geometric approach ⋮ Abstraction-based control synthesis using partial information ⋮ Symbolic control design for monotone systems with directed specifications ⋮ Characterization and computation of infinite-horizon specifications over Markov processes ⋮ A game-theoretic approach to fault diagnosis and identification of hybrid systems ⋮ CGMurphi: automatic synthesis of numerical controllers for nonlinear hybrid systems ⋮ Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement ⋮ Approximate current state observability of discrete-time nonlinear systems under cyber-attacks ⋮ Computing the average inter-sample time of event-triggered control using quantitative automata ⋮ Temporal logic guided safe model-based reinforcement learning: a hybrid systems approach ⋮ Symbolic models for stochastic switched systems: A discretization and a discretization-free approach ⋮ Safe learning-based model predictive control using the compatible models approach ⋮ Compositional abstraction refinement for control synthesis ⋮ Dynamic hierarchical reactive controller synthesis ⋮ Augmented finite transition systems as abstractions for control synthesis ⋮ Towards scalable synthesis of stochastic control systems ⋮ Refinements of behavioural abstractions for the supervisory control of hybrid systems ⋮ Unnamed Item ⋮ Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems ⋮ Passivity-based analysis of sampled and quantized control implementations ⋮ Backstepping controller synthesis and characterizations of incremental stability ⋮ Controller synthesis for safety and reachability via approximate bisimulation ⋮ Decentralized abstractions for multi-agent systems under coupled constraints ⋮ Guaranteed control of switched control systems using model order reduction and state-space bisection ⋮ Game-based Synthesis of Distributed Controllers for Sampled Switched Systems ⋮ On the timed temporal logic planning of coupled multi-agent systems ⋮ Optimal multirate sampling in symbolic models for incrementally stable switched systems ⋮ Dynamics and control of singular boolean networks ⋮ A probabilistic approach to control of complex systems and its application to real-time pricing ⋮ Contraction theory on Riemannian manifolds ⋮ Asynchronous \(l\)-complete approximations ⋮ Quantifying conformance using the Skorokhod metric ⋮ Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems ⋮ Approximately bisimilar symbolic models for randomly switched stochastic systems ⋮ Deadlock-free output feedback controller design based on approximately abstracted observers ⋮ Lazy Abstraction-Based Controller Synthesis ⋮ Symbolic models for nonlinear control systems affected by disturbances ⋮ Numerical solution of optimal control problems with explicit and implicit switches ⋮ Constructing simulation relations for IDO systems affine in inputs and disturbances ⋮ Supervisory control for collision avoidance in vehicular networks using discrete event abstractions ⋮ Quantitative model-checking of controlled discrete-time Markov processes ⋮ Low-complexity quantized switching controllers using approximate bisimulation ⋮ Approximate bisimulation: a bridge between computer science and control theory ⋮ Symbolic approximate time-optimal control ⋮ On distributed symbolic control of interconnected systems under persistency specifications ⋮ Languages and models for hybrid automata: a coalgebraic perspective ⋮ Compositional construction of infinite abstractions for networks of stochastic control systems ⋮ Compositional synthesis of finite abstractions for networks of systems: a small-gain approach ⋮ Symbolic control design of nonlinear systems with outputs ⋮ Local analysis of hybrid systems on polyhedral sets with state-dependent switching ⋮ Symbolic models for retarded jump-diffusion systems ⋮ Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application ⋮ Automated formal synthesis of provably safe digital controllers for continuous plants ⋮ Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions ⋮ Finite horizon discrete models for multi-agent control systems with coupled dynamics ⋮ Lazy controller synthesis for monotone transition systems and directed safety specifications ⋮ Verification of approximate opacity for switched systems: a compositional approach ⋮ A practical hybrid predictive control algorithm for a low-temperature thermosolar plant ⋮ Symbolic models for infinite networks of control systems: a compositional approach ⋮ Pliant Modalities in Hybrid Event-B ⋮ Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface ⋮ Limits in categories of Vietoris coalgebras ⋮ Reduction and Analysis of Boolean Control Networks by Bisimulation ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey ⋮ Learning-based symbolic abstractions for nonlinear control systems ⋮ Optimal control of hybrid switched systems: a brief survey ⋮ Moded and continuous abstract state machines ⋮ Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications ⋮ Supervisory control synthesis for deterministic context free specification languages. Enforcing controllability least restrictively ⋮ Symbolic analysis of linear hybrid automata -- 25 years later ⋮ Computing the sampling performance of event-triggered control ⋮ OmegaThreads ⋮ A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence ⋮ ABS: A formally correct software tool for space-efficient symbolic synthesis ⋮ ETCetera: beyond Event-Triggered Control ⋮ Learning stability guarantees for constrained switching linear systems from noisy observations ⋮ Compositional synthesis of control barrier certificates for networks of stochastic systems against \(\omega\)-regular specifications ⋮ Symbolic control for stochastic systems via finite parity games ⋮ Synthesis of event-triggered controllers for SIRS epidemic models ⋮ Robust stutter bisimulation for abstraction and controller synthesis with disturbance ⋮ Formal methods to comply with rules of the road in autonomous driving: state of the art and grand challenges ⋮ Traffic models of periodic event-triggered quantized control systems ⋮ Characterization, verification and computation of robust controlled invariants for monotone dynamical systems ⋮ Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications ⋮ On tolerance of discrete systems with respect to transition perturbations ⋮ Switching controller synthesis for delay hybrid systems under perturbations ⋮ Optimal mixed discrete-continuous planning for linear hybrid systems ⋮ Model-based reinforcement learning for approximate optimal control with temporal logic specifications ⋮ SySCoRe: Synthesis via Stochastic Coupling Relations ⋮ Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems ⋮ Poster Abstract: Towards Seamless Reactivity of Hybrid Control ⋮ Poster Abstract: Permissiveness for Strategy Adaptation
Uses Software
