Formal Modeling and Analysis of Timed Systems

DOI10.1007/11603009zbMath1175.68243OpenAlexW2493457341MaRDI 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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by ordinary differential equations (93C15) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (13)

Verification of Hybrid Systems ⋮ Verification and Control of Probabilistic Rectangular Hybrid Automata ⋮ Hybrid automata-based CEGAR for rectangular hybrid systems ⋮ Asynchronous correspondences between hybrid trajectory semantics ⋮ Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization ⋮ Verification and control for probabilistic hybrid automata with finite bisimulations ⋮ Counterexample-Guided Refinement of Template Polyhedra ⋮ Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques ⋮ Computing reachable sets for uncertain nonlinear monotone systems ⋮ Language-Based Abstraction Refinement for Hybrid System Verification ⋮ Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application ⋮ Bracketing backward reach sets of a dynamical system ⋮ Applications of polyhedral computations to the analysis and verification of hardware and software systems

Uses Software

• PHAVer
• PPL

This page was built for publication: Formal Modeling and Analysis of Timed Systems