The paper describes the development of an adaptive fuzzy control strategy for control of dissolved oxygen (DO) concentration on an activated sludge process (ASP). The technique is applied to the Benchmark Simulation Model n.1 (BSM1) which is a standard for performance assessment and evaluation of ASP control strategies. The controller uses DO concentration error feedback and manipulates the flo...

label switching technology is a flexible and high performance method for forwarding layer three packets that are mapped to layer two flows. each label switch router, lsr, needs a specific label for every flow, where the number of labels depends on the mapping and granularity of flows. data and control driven methods are the most significant and popular methods in label mapping policy. the above...

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

We consider the problem of stabilizing uncertain systems with quantization. The plant uncertainty is dealt with by the supervisory adaptive control framework, which employs switching among a finite family of candidate controllers. For a static quantizer, we quantify a relationship between the quantization range and the quantization error bound that guarantees closed loop stability. For a dynami...

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

Distributed supervisory control is a method to synthesize local controllers in discrete-eventsystems with a systematic observation of the plant. Some works were reported on extending this methodby which local controllers are constructed so that observation properties are preserved from monolithic todistributed supervisory control, in an up-down approach. In this paper, we find circumstances in ...

In this contribution, we propose a two-level hierarchical control strategy to solve the problem of minimising a cost function for a switched affine system under safety and liveness constraints. The constraints are handled on the lower level by a discrete supervisory controller designed using l-complete approximation. Its action can be represented as state invariants added to the plant model. In...