Branching time controllers for discrete event systems

DOI10.1016/S0304-3975(00)00307-8zbMath0992.68148OpenAlexW2019191620WikidataQ126352792 ScholiaQ126352792MaRDI QIDQ5958466

P. Madhusudan, P. S. Thiagarajan

Publication date: 3 March 2002

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(00)00307-8

zbMATH Keywords

discrete-event systemssimulationsbisimulationssupervisor synthesiscontroller synthesisasynchronous transition systems

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Control of discrete-event systems with modular or distributed structure ⋮ Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution ⋮ Controller synthesis for bisimulation equivalence

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Models for concurrency: Towards a classification
• CCS expressions, finite state processes, and three problems of equivalence
• A calculus of communicating systems
• On controllability and normality of discrete event dynamical systems
• Forward and backward simulations. I. Untimed Systems
• Bisimulation from open maps
• Hierarchical control of discrete-event systems
• Supervisory control using failure semantics and partial specifications
• Solving Sequential Conditions by Finite-State Strategies

This page was built for publication: Branching time controllers for discrete event systems