Hybrid Systems: Computation and Control

DOI10.1007/b106766zbMath1078.93533MaRDI 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

93B25: Algebraic methods

68Q60: Specification and verification (program logics, model checking, etc.)

93C30: Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)

Related Items

Symbolic Model Checking of Hybrid Systems Using Template Polyhedra, PHAVer, Monitoring of dynamic processes by rectangular hybrid automata, Fairness of transitions in diagnosability of discrete event systems, Hybridization methods for the analysis of nonlinear systems, Approximate simulation relations for hybrid systems, Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking, 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, 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, Syntax and consistent equation semantics of hybrid Chi, Hybrid abstractions of affine systems, Proving the Correctness of the Implementation of a Control-Command Algorithm, Approximating Continuous Systems by Timed Automata, KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description), Towards Component Based Design of Hybrid Systems: Safety and Stability, Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints, 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

Uses Software