Monotonic hybrid systems

DOI10.1016/j.jcss.2004.11.003zbMath1081.68048OpenAlexW1975647157MaRDI QIDQ2486564

Ruggero Lanotte, Andrea Maggiolo-Schettini

Publication date: 5 August 2005

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jcss.2004.11.003

zbMATH Keywords

Hybrid systemsDiscrete timeSuccinctnessExpressivenessDecidability of system propertiesDense timeMonotonic hybrid systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) General systems (93A10)

Uses Software

• Charon

Cites Work

• The algorithmic analysis of hybrid systems
• Metric temporal logic with durations
• Model-checking in dense real-time
• Modular and visual specification of hybrid systems: An introduction to HyCharts
• Event-clock automata: a determinizable class of timed automata
• A theory of timed automata
• Concurrency in timed automata
• From timed automata to logic — and back
• A really temporal logic
• On the power of bounded concurrency I
• The benefits of relaxing punctuality
• Algorithmic analysis of nonlinear hybrid systems
• What good are digital clocks?
• Special issue on Hybrid systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item