# Networked Embedded Control Systems: from Modelling to Implementation

@inproceedings{Benedetto2013NetworkedEC, title={Networked Embedded Control Systems: from Modelling to Implementation}, author={Maria Domenica Di Benedetto and Giordano Pola}, booktitle={HAS}, year={2013} }

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

### Control of Cyber-Physical-Systems with logic specifications: A formal methods approach

- Computer ScienceAnnu. Rev. Control.
- 2019

### Equivalence Notions for Discrete-Time Stochastic Linear Control Systems

- Mathematics, Computer Science
- 2016

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

- Mathematics, Computer ScienceIEEE Transactions on Automatic Control
- 2018

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

- Mathematics, Computer Science2015 54th IEEE Conference on Decision and Control (CDC)
- 2015

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

- Computer Science2019 18th European Control Conference (ECC)
- 2019

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.

## References

SHOWING 1-10 OF 31 REFERENCES

### A symbolic approach to the design of nonlinear networked control systems

- MathematicsHSCC '12
- 2012

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

- Computer ScienceProceedings of the IEEE
- 2000

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

- Mathematics, Computer ScienceIEEE Transactions on Automatic Control
- 2006

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

- MathematicsIEEE Trans. Autom. Control.
- 1998

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

- Mathematics, Computer ScienceIEEE Transactions on Automatic Control
- 2012

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

- Mathematics, Computer ScienceIEEE Trans. Autom. Control.
- 2002

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

- Computer Science
- 2006

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

- Computer Science, MathematicsIEEE Transactions on Automatic Control
- 2012

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

- Mathematics, Computer ScienceDiscret. Event Dyn. Syst.
- 2002

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

- MathematicsSIAM J. Control. Optim.
- 2009

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