Formalizing Real-Time Scheduling Using Priority-Based Supervisory Control of Discrete-Event Systems

DOI10.1109/TAC.2006.876806MaRDI QIDQ5281872zbMATH OpenOpenAlexFDO

Authors V. Janarthanan, Peyman Gohari, A. Saffar

Publication date 27 July 2017

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/tac.2006.876806

Mathematics Subject Classification ID

Deterministic scheduling theory in operations research (90B35) Discrete event control/observation systems (93C65)

Recommendations

• On controlling prioritized discrete event systems with real-time constraints
• Real-time preemptive scheduling of sporadic tasks based on supervisory control of discrete event systems
• Optimal work-conserving scheduler synthesis for real-time sporadic tasks using supervisory control of timed discrete-event systems
• On supervisory control of real-time discrete-event systems
• Supervisory control for real-time scheduling of periodic and sporadic tasks with resource constraints
• Supervisor synthesis for real-time discrete event systems
• A supervisory control method for ensuring the conformance of real-time discrete event systems
• Formal verification of real-time systems with preemptive scheduling
• Real-Time Scheduling Based on Nonblocking Supervisory Control of State-Tree Structures

Cited in

(6)

• Optimal work-conserving scheduler synthesis for real-time sporadic tasks using supervisory control of timed discrete-event systems
• SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time
• Supervisory control for fault-tolerant scheduling of real-time multiprocessor systems with aperiodic tasks
• Supervisory control for real-time scheduling of periodic and sporadic tasks with resource constraints
• Real-time preemptive scheduling of sporadic tasks based on supervisory control of discrete event systems
• Priority-free conditionally-preemptive scheduling of modular sporadic real-time systems

This page was built for publication: Formalizing Real-Time Scheduling Using Priority-Based Supervisory Control of Discrete-Event Systems

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