# Integrated Design of Symbolic Controllers for Nonlinear Systems

@article{Pola2012IntegratedDO, title={Integrated Design of Symbolic Controllers for Nonlinear Systems}, author={Giordano Pola and Alessandro Borri and Maria Domenica Di Benedetto}, journal={IEEE Transactions on Automatic Control}, year={2012}, volume={57}, pages={534-539} }

Symbolic models of continuous and hybrid systems have been studied for a long time, because they provide a formal approach to solve control problems where software and hardware interact with the physical world. While being powerful, this approach often encounters some limitations in concrete applications, because of the large size of the symbolic models needed to be constructed. Inspired by on-the-fly techniques for verification and control of finite state machines, in this note we propose an… Expand

#### 45 Citations

Symbolic Models for Nonlinear Control Systems Without Stability Assumptions

- Mathematics, Computer Science
- IEEE 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. Expand

Symbolic models for nonlinear control systems affected by disturbances

- Mathematics, Computer Science
- Int. J. Control
- 2012

The main contribution of this article is in proposing symbolic models that can be effectively constructed and that approximate nonlinear control systems affected by disturbances in the sense of alternating approximate bisimulation. Expand

Integrated symbolic design of unstable nonlinear Networked Control Systems

- Computer Science, Mathematics
- 2012 IEEE 51st IEEE Conference on Decision and Control (CDC)
- 2012

This paper addresses symbolic control design of (possibly unstable) nonlinear NCS with specifications expressed in terms of automata, and derives efficient algorithms for the synthesis of the proposed symbolic controllers that cope with the inherent computational complexity of the problem at hand. Expand

Symbolic Observer-Based Controller for Uncertain Nonlinear Systems

- Computer Science
- IEEE Control Systems Letters
- 2021

This letter proposes an abstraction that makes it possible to synthesize output-feedback controllers and a direct path between observer designs in the classical theory and control synthesis in formal methods is established and a numerical example is provided to illustrate the results. Expand

Symbolic Models and Control of Discrete-Time Piecewise Affine Systems: An Approximate Simulation Approach

- Mathematics, Computer Science
- IEEE Transactions on Automatic Control
- 2014

A sequence of symbolic models is proposed that approximates a discrete-time Piecewise Affine (PWA) system in the sense of approximate simulation and converges to the PWASystem in the so-called simulation metric. Expand

Sequences of Discrete Abstractions for Piecewise Affine Systems

- Mathematics, Computer Science
- ADHS
- 2012

A sequence of symbolic models is proposed that approximates a discrete–time Piecewise Affine (PWA) system in the sense of approximate simulation and converges to the PWASystem in the so–called simulation metric. Expand

On symbolic control design of nonlinear systems with dynamic regular language specifications

- Computer Science
- 2020

This paper proposes an approach to reduce online computations for controller reconfiguration which exhibits gain in terms of time computational complexity and is based on the use of symbolic models and on regular language theory. Expand

Symbolic Models for Nonlinear Time-Varying Time-Delay Systems via Alternating Approximate Bisimulation

- Mathematics, Computer Science
- 2010

This paper presents an approach to the control design of nonlinear control systems with unknown and time-varying delay signals and proposes one approach, which is based on the construction of symbolic models, which proves the computability of the proposed symbolic models in a finite number of steps. Expand

Symbolic control design of nonlinear systems with outputs

- Computer Science
- Autom.
- 2019

This paper focuses on a control problem where the plant is described by a possibly unstable continuous-time nonlinear control system, the controller is dynamic, digital and quantized, and takes as input a (quantized) measurement of the output of the plant, and the specification is expressed in terms of regular languages. Expand

On symbolic control design of discrete-time nonlinear systems with state quantized measurements

- Engineering, Computer Science
- 2016 IEEE 55th Conference on Decision and Control (CDC)
- 2016

This paper deals with symbolic control design with state quantized measurements of discrete-time nonlinear control systems affected by disturbances, with specifications expressed as regular languages. Expand

#### References

SHOWING 1-10 OF 25 REFERENCES

Symbolic Models for Nonlinear Control Systems Without Stability Assumptions

- Mathematics, Computer Science
- IEEE 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. Expand

Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations

- Mathematics, Computer Science
- SIAM J. Control. Optim.
- 2009

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

Verification and Control of Hybrid Systems - A Symbolic Approach

- Computer Science
- 2009

This book addresses problems of verification and controller synthesis for hybrid systems by systematic presentation of classes of hybrid systems that admit symbolic or finite models along with the relationships between the hybrid systems and the corresponding symbolic models. Expand

An Approximate Simulation Approach to Symbolic Control

- Mathematics, Computer Science
- IEEE Transactions on Automatic Control
- 2008

The proposed design methodology can be seen as a correct-by-design way of obtaining both the feedback control laws as well as the control software responsible for deciding which law is executed and when. Expand

Symbolic models for nonlinear time-delay systems using approximate bisimulations

- Mathematics, Computer Science
- Syst. Control. Lett.
- 2010

The main contribution of this paper is in showing that incrementally input-to-state stable time-delay systems do admit symbolic models that are approximately bisimilar to the original system, with a precision that can be rendered as small as desired. Expand

Approximately bisimilar symbolic models for nonlinear control systems

- Computer Science, Mathematics
- Autom.
- 2008

It is shown that every incrementally globally asymptotically stable nonlinear control system is approximately equivalent (bisimilar) to a symbolic model, and the approximation error is a design parameter in the construction of the symbolic model. Expand

Temporal Logic Control of Discrete-Time Piecewise Affine Systems

- Mathematics, Computer Science
- IEEE Transactions on Automatic Control
- 2012

We present a computational framework for automatic synthesis of a feedback control strategy for a discrete-time piecewise affine (PWA) system from a specification given as a linear temporal logic… Expand

Alternating approximately bisimilar symbolic models for nonlinear control systems with unknown time-varying delays

- Mathematics, Computer Science
- 49th IEEE Conference on Decision and Control (CDC)
- 2010

Enough conditions are derived to derive sufficient conditions that guarantee existence of symbolic models which are approximately equivalent, in the sense of alternating approximate bisimulation, to the original time-delay system. Expand

Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems

- Computer Science, Mathematics
- IEEE Transactions on Automatic Control
- 2010

This paper shows that under standard assumptions ensuring incremental stability of a switched system, it is possible to construct a finite symbolic model that is approximately bisimilar to the original switched system with a precision that can be chosen a priori. Expand

Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems

- Engineering, Computer Science
- HSCC
- 2008

The main contribution of this paper consists in showing that under standard assumptions ensuring incremental stability of a switched system, it is possible to construct a symbolic model that is approximately bisimilar to the original switched system with a precision that can be chosen a priori. Expand