Supervisory control of a class of discrete event processes
SIAM Journal on Control and Optimization
On observability of discrete-event systems
Information Sciences: an International Journal - Robotics and Automation/Control Series
Temporal logic for real time systems
Temporal logic for real time systems
Automatic generation of functional vectors using the extended finite state machine model
ACM Transactions on Design Automation of Electronic Systems (TODAES)
A note on reliable full-duplex transmission over half-duplex links
Communications of the ACM
Computer Systems: Reliable full-duplex file transmission over half-duplex telephone line
Communications of the ACM
Introduction to Formal Hardware Verification: Methods and Tools for Designing Correct Circuits and Systems
Introduction to Automata Theory, Languages and Computability
Introduction to Automata Theory, Languages and Computability
Digital Design
Embedded software-based self-test for system-on-a-chip design
Embedded software-based self-test for system-on-a-chip design
| Hi-index | 0.00 |
This article aims at bridging the gap between traditional designs to discrete-event control problems and supervisory control theory of Ramadge and Wonham. We propose to implement supervisory control by extending the plant's finite state machine with Boolean variables, guard formulas and updating functions. Boolean variables are used to encode the supervisor's states, event observation is captured by a set of Boolean functions that update the value of variables, and control is introduced by guarding events with Boolean formulas. The framework developed in this work is fundamental in our ongoing research on communication between supervisors in a distributed discrete-event system.