Real-Time Scheduling Based on Nonblocking Supervisory Control of State-Tree Structures

DOI10.1109/TAC.2020.3031023MaRDI QIDQ4957714zbMATH OpenOpenAlexFDO

Authors

Publication date 9 September 2021

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

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

zbMATH Keywords

conditional-preemptionreal-time systemschedulingstate-tree structuresupervisory control

Mathematics Subject Classification ID

Deterministic scheduling theory in operations research (90B35)

Cited in

(4)

• Nonblocking supervisory control of state-tree structures with event forcing
• Formalizing Real-Time Scheduling Using Priority-Based Supervisory Control of Discrete-Event Systems
• Supervisory control of discrete event systems under asynchronous spiking neuron P systems
• Offline supervisory control synthesis: taxonomy and recent developments

This page was built for publication: Real-Time Scheduling Based on Nonblocking Supervisory Control of State-Tree Structures

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