Scheduling with timed automata

DOI10.1016/j.tcs.2005.11.018zbMath1088.68023MaRDI QIDQ2368955

Yasmina Abdeddaïm, Eugene Asarin, Oded Maler

Publication date: 28 April 2006

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2005.11.018

zbMATH Keywords

Scheduling; Timed automata; Verification and synthesis

Mathematics Subject Classification ID

68Q45: Formal languages and automata

68M20: Performance evaluation, queueing, and scheduling in the context of computer systems

Related Items

Timed discrete event control of parallel production lines with continuous outputs, Models and formal verification of multiprocessor system-on-chips, Survey on Directed Model Checking, Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata

Uses Software

• Kronos
• IF-2.0
• Uppaal

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Minimum and maximum delay problems in real-time systems
• Model-checking in dense real-time
• A theory of timed automata
• Symbolic model checking for real-time systems
• Deterministic job-shop scheduling: Past, present and future
• Kronos: A verification tool for real-time systems
• Uppaal in a nutshell
• Computing efficient operation schemes for chemical plants in multi-batch mode
• Compositional specification of timed systems
• On the synthesis of discrete controllers for timed systems