Hybrid Systems: Computation and Control

DOI10.1007/b106766zbMath1078.93533OpenAlexW2502452588MaRDI QIDQ5703927

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

Mathematics Subject Classification ID

Algebraic methods (93B25) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items

Modelling and analysing neural networks using a hybrid process algebra ⋮ Hybrid automata as a modelling approach in the behavioural sciences ⋮ Reachability analysis of linear systems with stepwise constant inputs ⋮ Efficient constraint/generator removal from double description of polyhedra ⋮ On the efficiency of convex polyhedra ⋮ Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction ⋮ Syntax and consistent equation semantics of hybrid Chi ⋮ Finite data-rate feedback stabilization of switched and hybrid linear systems ⋮ Composing Stability Proofs for Hybrid Systems ⋮ Reachability and observability reduction for linear switched systems with constrained switching ⋮ Trajectory-Based Theory for Hybrid Systems ⋮ Hybridization methods for the analysis of nonlinear systems ⋮ Monitoring of dynamic processes by rectangular hybrid automata ⋮ Safety verification for probabilistic hybrid systems ⋮ Automatic synthesis of switching controllers for linear hybrid systems: safety control ⋮ Hybrid automata-based CEGAR for rectangular hybrid systems ⋮ Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration ⋮ Bounded Verification of Reachability of Probabilistic Hybrid Systems ⋮ Symbolic analysis of linear hybrid automata -- 25 years later ⋮ Approximating Continuous Systems by Timed Automata ⋮ HRELTL: a temporal logic for hybrid systems ⋮ Change-of-bases abstractions for non-linear hybrid systems ⋮ Optimal mixed discrete-continuous planning for linear hybrid systems ⋮ Bisimulation conversion and verification procedure for goal-based control systems ⋮ Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces ⋮ Formal verification and quantitative metrics of MPSoC data dynamics ⋮ Model reduction of switched affine systems ⋮ KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description) ⋮ SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata ⋮ Verifying global start-up for a Möbius ring-oscillator ⋮ Approximate simulation relations for hybrid systems ⋮ Proving the existence of fair paths in infinite-state systems ⋮ Rigorous Simulation-Based Analysis of Linear Hybrid Systems ⋮ Counterexample-Guided Refinement of Template Polyhedra ⋮ Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking ⋮ Reachability computation for polynomial dynamical systems ⋮ Computing reachable states for nonlinear biological models ⋮ A survey of challenges for runtime verification from advanced application domains (beyond software) ⋮ Towards Component Based Design of Hybrid Systems: Safety and Stability ⋮ Fairness of transitions in diagnosability of discrete event systems ⋮ Hybrid abstractions of affine systems ⋮ A hybrid automata model of social networking addiction ⋮ Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration ⋮ On checking equivalence of simulation scripts ⋮ Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints ⋮ Symbolic Model Checking of Hybrid Systems Using Template Polyhedra ⋮ Numerically-aided deductive safety proof for a powertrain control system ⋮ Applications of MetiTarski in the Verification of Control and Hybrid Systems ⋮ Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study ⋮ Parameter Synthesis for Hybrid Systems with an Application to Simulink Models ⋮ Trajectory Based Verification Using Local Finite-Time Invariance ⋮ PHAVer ⋮ Proving the Correctness of the Implementation of a Control-Command Algorithm ⋮ Post and pre-initialized stopwatch Petri nets: formal semantics and state space computation ⋮ Don't care words with an application to the automata-based approach for real addition ⋮ Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction* ⋮ Applications of polyhedral computations to the analysis and verification of hardware and software systems ⋮ Computing differential invariants of hybrid systems as fixed points ⋮ Differential dynamic logic for hybrid systems ⋮ Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems using Linear Programming ⋮ Relating Hybrid Chi to Other Formalisms ⋮ Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi

Uses Software