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
Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 25 REFERENCES
Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
TLDR
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
TLDR
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
TLDR
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
  • P. Tabuada
  • Mathematics, Computer Science
  • IEEE Transactions on Automatic Control
  • 2008
TLDR
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
TLDR
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
TLDR
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
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 logicExpand
Alternating approximately bisimilar symbolic models for nonlinear control systems with unknown time-varying delays
TLDR
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
TLDR
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
TLDR
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
...
1
2
3
...