The paper deals with the supervisory control problem based on the vector synchronous product (VSP) of automata. A necessary and sufficient condition for the existence of such a controller is given which depends on a new concept of vs-controllability. A construct called vector synchronous product with communication is proposed. In addition, isomorph and homomorph of two VSPs are defined. Simplified traffic examples are provided in illustration.
discrete-event system, supervisory control, vector synchronous product, vs-controllability.
All articles published by Studies in Informatics and Control (SIC) are published in accordance with the terms and conditions of the Creative Commons Attribution License (CC BY-NC-SA 4.0).