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

DOI10.1109/TAC.2006.876806zbMATH Open1366.93349OpenAlexW2140628553MaRDI QIDQ5281872FDOQ5281872

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

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

Mathematics Subject Classification ID

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

Cited In (6)

• Supervisory control for fault-tolerant scheduling of real-time multiprocessor systems with aperiodic tasks
• 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
• SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time
• Supervisory control for real-time scheduling of periodic and sporadic tasks with resource constraints
• Optimal work-conserving scheduler synthesis for real-time sporadic tasks using supervisory control of timed discrete-event 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)