Knowledge based scheduling of distributed systems

DOI10.1007/978-3-642-13754-9_2MaRDI QIDQ3587250zbMATH OpenOpenAlexFDO

Authors Saddek Bensalem, Doron Peled, Joseph Sifakis

Publication date 7 September 2010

Published in Time for Verification (Search for Journal in Brave)

Full work available at URL https://infoscience.epfl.ch/record/185012/files/Amir-version.pdf

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) 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
• Priority Scheduling of Distributed Systems Based on Model Checking
• Logic for Programming, Artificial Intelligence, and Reasoning
• Achieving distributed control through model checking
• 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
• Communicating sequential processes
• Know means no: Incorporating knowledge into discrete-event control systems
• Supervisory Control of a Class of Discrete Event Processes
• System modelling with high-level Petri nets
• Think globally, act locally: decentralized supervisory control

Cited in

(5)

• Priority Scheduling of Distributed Systems Based on Model Checking
• Using knowledge to optimally achieve coordination in distributed systems
• KBSS: A knowledge-based system for scheduling in automated manufacturing
• Priority scheduling of distributed systems based on model checking
• Distributed implementation of systems with multiparty interactions and priorities

Describes a project that uses

Uses Software

• CESAR

This page was built for publication: Knowledge based scheduling of distributed systems

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