There is a growing interest in Industry and Academia in large scale composite systems
where a number of physical processes are interfaced with intelligent units that control them …

Networked control systems (NCSs) are distributed systems where plants, sensors, actuators,
and controllers communicate over shared networks. Nonideal behaviors of the …

In this paper, we propose decentralized control of networks of discrete-time nonlinear control
systems, enforcing complex specifications expressed in terms of regular languages, within …

Symbolic control is an approach to the control of continuous or hybrid systems with
specifications expressed in a logic form. This approach is based on the use of symbolic …

The last decade has witnessed significant attention on networked control systems (NCSs)
due to their ubiquitous presence in industrial applications, and in the particular case of …

Formal methods have been recently used as the basis of a systematic framework to address
control design of continuous or hybrid systems with specifications expressed in a logic form …

In networked control systems (NCS), the communication between sensors, controllers, and
actuators is supported by a shared communication channel that is subject to variable …

This work aims at extending some concepts of symbolic control design to decentralized
control structures, with an approximate simulation approach. Symbolic models and …

Existing results concerning control design of purely continuous or hybrid systems with
complex logic-based specifications assume full information of the state, or of its quantization …

Abstract Networked Control Systems (NCS) are distributed systems where plants, sensors,
actuators and controllers communicate over shared networks. Non-ideal behaviors of the …