Formal Modeling and Analysis of Timed Systems
From MaRDI portal
Publication:5897960
DOI10.1007/11603009zbMath1175.68243MaRDI QIDQ5897960
Laurent Doyen, Jean-François Raskin, Thomas A. Henzinger
Publication date: 14 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11603009
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
93C15: Control/observation systems governed by ordinary differential equations
93C30: Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)
Related Items
Language-Based Abstraction Refinement for Hybrid System Verification, Asynchronous correspondences between hybrid trajectory semantics, Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques, Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application, Hybrid automata-based CEGAR for rectangular hybrid systems, Computing reachable sets for uncertain nonlinear monotone systems, Applications of polyhedral computations to the analysis and verification of hardware and software systems, Verification and control for probabilistic hybrid automata with finite bisimulations, Verification and Control of Probabilistic Rectangular Hybrid Automata, Verification of Hybrid Systems, Counterexample-Guided Refinement of Template Polyhedra, Bracketing backward reach sets of a dynamical system, Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization
Uses Software