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...

Hybrid control systems contain two distinct types of systems, continuous state and discrete-state, that interact with each other. Their study is essential in designing sequential supervisory controllers for continuous-state systems, and it is central in designing control systems with high degree of autonomy. After an introduction to intelligent autonomous control and its relation to hybrid cont...

There is an increasing need to study the vulnerability of communication protocols in distributed systems malicious attacks that attempt violate properties such as safety or nonblockingness. In this paper, we propose a common methodology for formal synthesis successful against two well-known protocols, Alternating Bit Protocol (ABP) and Transmission Control (TCP), where attacker can always event...