Automatic synthesis of a subclass of schedulers in timed systems.

DOI10.1016/S0304-3975(02)00813-7MaRDI QIDQ1874276zbMATH OpenFDO

Authors Padmanabhan Krishnan

Publication date 25 May 2003

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

Full work available at URL https://doi.org/10.1016/S0304-3975(02)00813-7

zbMATH Keywords

SchedulersSynthesisTimed automataTrajectories

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1497853
• scientific article; zbMATH DE number 177523
• scientific article; zbMATH DE number 177246
• From scenarios to timed automata
• Schedule verification and synthesis for embedded real-time components

Cites work

• A theory of timed automata
• Control of Infinite Behavior of Finite Automata
• scientific article; zbMATH DE number 1696502 (Why is no real title available?)
• scientific article; zbMATH DE number 1196650 (Why is no real title available?)
• scientific article; zbMATH DE number 1031762 (Why is no real title available?)
• On the synthesis of discrete controllers for timed systems
• Real-time supervisory control of a processor for non-preemptive execution of periodic tasks
• Shuffle on trajectories: Syntactic constraints
• Supervision of Infinite Behavior of Discrete-Event Systems
• Supervisory control of timed discrete-event systems

Cited in

(4)

• Synthesizing synchronous systems by static scheduling in space-time
• Analysis of scheduling behaviour using generic timed automata
• Schedule verification and synthesis for embedded real-time components
• scientific article; zbMATH DE number 1497853 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1874276)