Formal Techniques for Networked and Distributed Systems - FORTE 2005

DOI10.1007/11562436zbMATH Open1169.68518OpenAlexW2915402656MaRDI QIDQ5479146FDOQ5479146

Authors: Stefan Strubbe, R. Langerak 

Publication date: 7 July 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11562436

Recommendations

• scientific article; zbMATH DE number 2085342
• Prioritized Composition With Exclusion and Generation for the Interaction and Control of Discrete Event Systems
• scientific article; zbMATH DE number 744043
• Supervisory control of discrete event systems
• On supervisory control of sequential behaviors

zbMATH Keywords

supervisory controlcompositional modelling

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Hierarchical systems (93A13) Discrete event control/observation systems (93C65)

Cited In (1)

• A Representation Theorem for Change through Composition of Activities

This page was built for publication: Formal Techniques for Networked and Distributed Systems - FORTE 2005

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