Networked Embedded Control Systems: from Modelling to Implementation

  title={Networked Embedded Control Systems: from Modelling to Implementation},
  author={Maria Domenica Di Benedetto and Giordano Pola},
Networked Embedded Control Systems are distributed control systems where the communication among plants, sensors, actuators and controllers occurs in a shared network. They have been the subject of intensive study in the last few years. In this paper we survey our contribution to this research topic. 
5 Citations

Figures from this paper

Equivalence Notions for Discrete-Time Stochastic Linear Control Systems

In this paper we propose definitions of equivalence via stochastic bisimulation and of equivalence of stochastic external behavior for the class of discrete-time stochastic linear control systems

Bisimulation Equivalence of Discrete-Time Stochastic Linear Control Systems

A definition of equivalence via stochastic bisimulation for the class of discrete-time Stochastic linear control systems with possibly degenerate normally distributed disturbances with model reduction via Kalman-like decomposition is proposed.

On equivalence notions for discrete-time stochastic control systems

The proposed results nicely extend the theory of bisimulation equivalence and equivalence of external behavior known for non-deterministic control systems to a stochastic setting.

Symbolic models approximating possibly unstable time-delay systems with application to the artificial pancreas

This paper proposes symbolic models approximating possibly unstable time-delay systems with quantized measurements of the outputs with application to the glucose control problems for the Artificial Pancreas.



A symbolic approach to the design of nonlinear networked control systems

This paper derives a procedure to obtain symbolic models that are proven to approximate NCS in the sense of alternating approximate bisimulation and uses these symbolic models to design symbolic controllers that realize specifications expressed in terms of automata on infinite strings.

Supervisory control of hybrid systems

The supervisory control of hybrid systems is introduced and discussed at length and the interaction between the continuous and discrete dynamics is highlighted, which is the cornerstone of any hybrid system study.

Linear Time Logic Control of Discrete-Time Linear Systems

It is shown that existence of controllers for discrete-time controllable linear systems and LTL specifications can be decided and that such controllers can be effectively computed.

Hierarchical hybrid control systems: a lattice theoretic formulation

The lattice HIBC(S) of hybrid in-block controllable hybrid partition machines is defined and investigated and the definition and properties of hierarchical-hybrid control systems are presented together with an example.

Symbolic Models for Nonlinear Control Systems Without Stability Assumptions

A new abstraction technique is proposed that is applicable to any nonlinear sampled-data control system as long as the authors are only interested in its behavior in a compact set.

On the reachability of quantized control systems

This paper provides a complete characterization of the reachable set of linear quantized systems, and, in case the set is discrete, a computable method to completely and succinctly describe its structure.

Special Section on Symbolic Methods for Complex Control Systems

This Special Section in the IEEE TRANSACTIONS on AUTOMATIC CONTROL hopes to highlight how a number of new control system analysis and design problems can be properly addressed at the level of symbols rather than signals, and illustrate how to decompose the control task into a finite collection of building blocks or modes of operation.

Integrated Design of Symbolic Controllers for Nonlinear Systems

Inspired by on-the-fly techniques for verification and control of finite state machines, in this note an algorithm is proposed that integrates the construction of the symbolic models with the design of the symbols of continuous and hybrid systems.

Discrete Supervisory Control of Hybrid Systems Based on l-Complete Approximations

The basic ideas regarding the approximation step are explained within the framework of Willems' behavioral systems theory and it is shown that the synthesis of discrete supervisory control for hybrid systems Σ with discrete external signals solves the control problem for the underlying hybrid system Σ.

Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations

The main contribution is to show that incrementally globally asymptotically stable nonlinear control systems with disturbances admit symbolic models.