Priority scheduling of distributed systems based on model checking

DOI10.1007/S10703-011-0128-YMaRDI QIDQ453501zbMATH OpenOpenAlexFDO

Authors Ananda Basu, Saddek Bensalem, Joseph Sifakis, Doron Peled

Publication date 27 September 2012

Published in Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10703-011-0128-y

zbMATH Keywords

synthesismodel checkingcontroller designknowledgePetri netstemporal logic

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Priority Scheduling of Distributed Systems Based on Model Checking
• Knowledge based scheduling of distributed systems
• Achieving distributed control through model checking
• Systems with priorities: conformance, testing, and composition
• Building distributed controllers for systems with priorities

Cites work

• scientific article; zbMATH DE number 3714896 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• A general architecture for decentralized supervisory control of discrete-event systems
• A little knowledge goes a long way
• Achieving distributed control through model checking
• Common knowledge and update in finite environments
• Know means no: Incorporating knowledge into discrete-event control systems
• Methods for knowledge based controlling of distributed systems
• Priority Scheduling of Distributed Systems Based on Model Checking
• Supervisory Control of a Class of Discrete Event Processes
• System modelling with high-level Petri nets
• Think globally, act locally: decentralized supervisory control
• Undecidability in decentralized supervision
• Undecidable problems of decentralized observation and control on regular languages

Cited in

(6)

• Systems with priorities: conformance, testing, and composition
• Building distributed controllers for systems with priorities
• Liveness enforcement for production systems modeled by time Petri nets
• scientific article; zbMATH DE number 1293734 (Why is no real title available?)
• Knowledge based scheduling of distributed systems
• Priority Scheduling of Distributed Systems Based on Model Checking

Describes a project that uses

Uses Software

• CESAR

This page was built for publication: Priority scheduling of distributed systems based on model checking

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