In this paper, we propose a framework for real time monitoring and diagnosis of automated vehicles in an IVHS. The supervisory control methodology proposed here is concerned with fault detection, fault isolation, and control reconfiguration of the many sensors, actuators and controllers that are used in the control process. This supervisory control architecture operates at two levels of the AVC...

We study the supervisory control problem for closed languages when the specifications are given in terms of control objectives i.e. a pairing of predicates associated with blocking events. We show that under some conditions the supervisory control problem is decidable for non-regular languages and results in obtaining the least restrictive behavior. The result appears to give an extension of th...

This paper focuses on issues related to implementing timed discrete-event systems (TDES) supervisors, and the concurrency and timing delay issues involved. In particular, we examine issues related to implementing TDES as sampled-data (SD) controllers. An SD controller is driven by a periodic clock and sees the system as a series of inputs and outputs. On each clock edge (tick event), it samples...

Cyber Physical Systems (CPS) often have continuous components interconnected with systems described by discrete state space. Examples of such discrete components may be supervisory controllers or components implemented in software. To design large scale CPS in a compositional manner it would be useful to define a notion of passivity for these discrete components as well. As a first step towards...