Priority-free conditionally-preemptive scheduling of modular sporadic real-time systems

DOI10.1016/J.AUTOMATICA.2017.12.010zbMath1388.93015OpenAlexW2789401778MaRDI QIDQ1640292

Y. Aharonov

Publication date: 14 June 2018

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.automatica.2017.12.010

zbMATH Keywords

schedulingsupervisory controlreal-time systemdiscrete-event systemconditional-preemptionmultiple-period

Mathematics Subject Classification ID

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

Related Items (5)

SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time ⋮ Supervisory control of state-tree structures with partial observation ⋮ State-based fault diagnosis of discrete-event systems with partially observable outputs ⋮ Optimal work-conserving scheduler synthesis for real-time sporadic tasks using supervisory control of timed discrete-event systems ⋮ Nonblocking supervisory control of state-tree structures with event forcing

Uses Software

• Cheddar
• Unnamed Item

Cites Work

• A synthesis framework for robust gain-scheduling controllers
• Supervisory control of discrete event systems with distinguishers
• Event-based networked control and scheduling codesign with guaranteed performance
• Real-time preemptive scheduling of sporadic tasks based on supervisory control of discrete event systems
• Supervisor reduction for discrete-event systems
• Kronos: A verification tool for real-time systems
• Real-time supervisory control of a processor for non-preemptive execution of periodic tasks
• Soft real-time scheduling for embedded control systems
• Supervisory Control of a Class of Discrete Event Processes
• Formalizing Real-Time Scheduling Using Priority-Based Supervisory Control of Discrete-Event Systems
• Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment

This page was built for publication: Priority-free conditionally-preemptive scheduling of modular sporadic real-time systems