Automatic synthesis of a subclass of schedulers in timed systems.

DOI10.1016/S0304-3975(02)00813-7zbMath1038.68009MaRDI QIDQ1874276

Padmanabhan Krishnan

Publication date: 25 May 2003

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

zbMATH Keywords

Timed automataTrajectoriesSynthesisSchedulers

Mathematics Subject Classification ID

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

Cites Work

• Shuffle on trajectories: Syntactic constraints
• A theory of timed automata
• Real-time supervisory control of a processor for non-preemptive execution of periodic tasks
• Supervisory control of timed discrete-event systems
• Control of Infinite Behavior of Finite Automata
• Supervision of Infinite Behavior of Discrete-Event Systems
• On the synthesis of discrete controllers for timed systems
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Automatic synthesis of a subclass of schedulers in timed systems.