research-article

A symbolic approach to the design of nonlinear networked control systems

Authors:

Alessandro Borri,

Maria D. Di BenedettoAuthors Info & Claims

HSCC '12: Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control

Pages 255 - 264

https://doi.org/10.1145/2185632.2185670

Published: 17 April 2012 Publication History

Abstract

Networked control systems (NCS) are spatially distributed systems where communication among plants, sensors, actuators and controllers occurs in a shared communication network. NCS have been studied for the last ten years and important research results have been obtained. These results are in the area of stability and stabilizability. However, while important, these results must be complemented in different areas to be able to design effective NCS. In this paper we approach the control design of NCS using symbolic (finite) models. Symbolic models are abstract descriptions of continuous systems where one symbol corresponds to an "aggregate" of continuous states. We consider a fairly general multiple-loop network architecture where plants communicate with digital controllers through a shared, non-ideal, communication network characterized by variable sampling and transmission intervals, variable communication delays, quantization errors, packet losses and limited bandwidth. We first derive a procedure to obtain symbolic models that are proven to approximate NCS in the sense of alternating approximate bisimulation. We then use these symbolic models to design symbolic controllers that realize specifications expressed in terms of automata on infinite strings. An example is provided where we address the control design of a pair of nonlinear control systems sharing a common communication network. The closed--loop NCS obtained is validated through the OMNeT++ network simulation framework.

References

[1]

R. Alur, T. Henzinger, O. Kupferman, and M. Vardi. Alternating refinement relations. In Proceedings of the 8th International Conference on Concurrence Theory, number 1466 in Lecture Notes in Computer Science, pages 163--178. Springer, 1998.

Digital Library

[2]

R. Alur, T. A. Henzinger, G. Lafferriere, and G. J. Pappas. Discrete abstractions of hybrid systems. Proceedings of the IEEE, 88:971--984, 2000.

[3]

D. Angeli. A Lyapunov approach to incremental stability properties. IEEE Transactions on Automatic Control, 47(3):410--421, 2002.

[4]

D. Angeli and E. Sontag. Forward completeness, unboundedness observability, and their Lyapunov characterizations. Systems and Control Letters, 38:209--217, 1999.

[5]

E. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999.

Digital Library

[6]

A. Girard and G. Pappas. Approximation metrics for discrete and continuous systems. IEEE Transactions on Automatic Control, 52(5):782--798, 2007.

[7]

W. Heemels and N. van de Wouw. Stability and stabilization of networked control systems. In A. Bemporad, M. Heemels, and M. Johansson, editors, Networked Control Systems, volume 406 of Lecture notes in control and information sciences, pages 203--253. Springer Verlag, London, 2011.

[8]

W. Heemels, N. van de Wouw, R. Gielen, M. Donkers, L. Hetel, S. Olaru, M. Lazar, J. Daafouz, and S. Niculescu. Comparison of overapproximation methods for stability analysis of networked control systems. In K. Johansson and W. Yi, editors, Hybrid Systems: Computation and Control, volume 6174 of Lecture Notes in Computer Science, pages 181--191. Springer Verlag, Berlin, 2010.

Digital Library

[9]

J. Hespanha, P. Naghshtabrizi, and X. Yonggang. A survey of recent results in networked control systems. Proceedings of the IEEE, 95(1):138--162, January 2007.

[10]

M. Mahmoud. Robust control and filtering for time-delay systems. Vol. 5 of Control engineering. Marcel Dekker, 2000.

[11]

R. Milner. Communication and Concurrency. Prentice Hall, 1989.

Digital Library

[12]

D. Park. Concurrency and automata on infinite sequences. volume 104 of Lecture Notes in Computer Science, pages 167--183, 1981.

Digital Library

[13]

G. Pola, A. Borri, and M. D. Di Benedetto. Integrated design of symbolic controllers for nonlinear systems. IEEE Transactions on Automatic Control, 57(2):534--539, feb. 2012.

[14]

G. Pola, A. Girard, and P. Tabuada. Approximately bisimilar symbolic models for nonlinear control systems. Automatica, 44:2508--2516, October 2008.

Digital Library

[15]

G. Pola, P. Pepe, M. Di Benedetto, and P. Tabuada. Symbolic models for nonlinear time-delay systems using approximate bisimulations. Systems and Control Letters, 59:365--373, 2010.

[16]

G. Pola and P. Tabuada. Symbolic models for nonlinear control systems: Alternating approximate bisimulations. SIAM Journal on Control and Optimization, 48(2):719--733, 2009.

Digital Library

[17]

P. Tabuada. An approximate simulation approach to symbolic control. IEEE Transactions on Automatic Control, 53(6):1406--1418, 2008.

[18]

P. Tabuada. Verification and Control of Hybrid Systems: A Symbolic Approach. Springer, 2009.

Digital Library

[19]

A. Varga and R. Hornig. In Simutools '08: Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems and workshops, pages 1--10, ICST, Brussels, Belgium.

Digital Library

[20]

M. Zamani, M. Mazo, G. Pola, and P. Tabuada. Symbolic models for nonlinear control systems without stability assumptions. IEEE Transactions of Automatic Control, 2012. In press.

[21]

M. Zamani and P. Tabuada. Backstepping design for incremental stability. IEEE Transactions on Automatic Control, 56(9):2184 --2189, sept. 2011.

Cited By

Tenaglia APossieri CCarnevale D(2023)A Trajectory-Based Stochastic Approach to Symbolic Control2023 62nd IEEE Conference on Decision and Control (CDC)10.1109/CDC49753.2023.10383250(2871-2876)Online publication date: 13-Dec-2023
https://doi.org/10.1109/CDC49753.2023.10383250
MIZOGUCHI MUSHIO T(2021)Deadlock-Free Symbolic Smith Controllers Based on Prediction for Nondeterministic SystemsIEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences10.1587/transfun.2021EAP1002E104.A:11(1593-1602)Online publication date: 1-Nov-2021
https://doi.org/10.1587/transfun.2021EAP1002
Borri APola GBenedetto M(2019)Design of Symbolic Controllers for Networked Control SystemsIEEE Transactions on Automatic Control10.1109/TAC.2018.283363064:3(1034-1046)Online publication date: Mar-2019
https://doi.org/10.1109/TAC.2018.2833630
Show More Cited By

Index Terms

A symbolic approach to the design of nonlinear networked control systems
1. Computing methodologies
  1. Artificial intelligence
    1. Control methods
      1. Computational control theory

Recommendations

Global -exponential stabilisation of a class of nonlinear networked control systems

In this paper, we investigate global <inline-formula><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink="tsys_a_1091899_ilm0002.gif"/></inline-formula>-exponential stabilisation of a class of nonlinear networked control systems. The ...
Adaptive stabilisation of networked control systems tolerant to unknown actuator failures

In this article, adaptive state feedback stabilising controllers for networked adaptive control systems with unknown actuator failures are developed. The problems of networked control systems (NCSs) such as transmission delays and data-packets dropout, ...
H∞ control of networked control systems with state quantisation

This article addresses the problem of controller design for networked control systems over digital communication. The systems under consideration are stabilised via state feedback, where the effects of sampled signal, state quantisation, network-induced ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

HSCC '12: Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control

April 2012

308 pages

ISBN:9781450312202

DOI:10.1145/2185632

Program Chairs:
Thao Dang
CNRS/VERIMAG, France
,
Ian M. Mitchell
University of British Columbia, Canada

Copyright © 2012 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 17 April 2012

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

HSCC'12

Sponsor:

SIGBED

HSCC'12: Hybrid Systems: Computation and Control

April 17 - 19, 2012

Beijing, China

Acceptance Rates

Overall Acceptance Rate 153 of 373 submissions, 41%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

21
Total Citations
View Citations
223
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)2

Reflects downloads up to 20 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Tenaglia APossieri CCarnevale D(2023)A Trajectory-Based Stochastic Approach to Symbolic Control2023 62nd IEEE Conference on Decision and Control (CDC)10.1109/CDC49753.2023.10383250(2871-2876)Online publication date: 13-Dec-2023
https://doi.org/10.1109/CDC49753.2023.10383250
MIZOGUCHI MUSHIO T(2021)Deadlock-Free Symbolic Smith Controllers Based on Prediction for Nondeterministic SystemsIEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences10.1587/transfun.2021EAP1002E104.A:11(1593-1602)Online publication date: 1-Nov-2021
https://doi.org/10.1587/transfun.2021EAP1002
Borri APola GBenedetto M(2019)Design of Symbolic Controllers for Networked Control SystemsIEEE Transactions on Automatic Control10.1109/TAC.2018.283363064:3(1034-1046)Online publication date: Mar-2019
https://doi.org/10.1109/TAC.2018.2833630
Kido KSedwards SHasuo I(2019)Switching Delays and the Skorokhod Distance in Incrementally Stable Switched SystemsCyber Physical Systems. Design, Modeling, and Evaluation10.1007/978-3-030-17910-6_9(109-126)Online publication date: 13-Apr-2019
https://doi.org/10.1007/978-3-030-17910-6_9
Zamani MMazo MKhaled MAbate A(2018)Symbolic Abstractions of Networked Control SystemsIEEE Transactions on Control of Network Systems10.1109/TCNS.2017.27396455:4(1622-1634)Online publication date: Dec-2018
https://doi.org/10.1109/TCNS.2017.2739645
Pola GPepe PBenedetto M(2018)Decentralized Supervisory Control of Networks of Nonlinear Control SystemsIEEE Transactions on Automatic Control10.1109/TAC.2017.277596263:9(2803-2817)Online publication date: Sep-2018
https://doi.org/10.1109/TAC.2017.2775962
Pepe PPola GBenedetto M(2018)On Lyapunov–Krasovskii Characterizations of Stability Notions for Discrete-Time Systems With Uncertain Time-Varying Time DelaysIEEE Transactions on Automatic Control10.1109/TAC.2017.274952663:6(1603-1617)Online publication date: Jun-2018
https://doi.org/10.1109/TAC.2017.2749526
Mizoguchi MUshio T(2018)Deadlock-free output feedback controller design based on approximately abstracted observersNonlinear Analysis: Hybrid Systems10.1016/j.nahs.2018.04.00130(58-71)Online publication date: Nov-2018
https://doi.org/10.1016/j.nahs.2018.04.001
Kido KSedwards SHasuo I(2018)Bounding Errors Due to Switching Delays in Incrementally Stable Switched SystemsIFAC-PapersOnLine10.1016/j.ifacol.2018.08.04251:16(247-252)Online publication date: 2018
https://doi.org/10.1016/j.ifacol.2018.08.042
MIZOGUCHI MUSHIO T(2017)Symbolic Design of Networked Control Systems with State PredictionIEICE Transactions on Information and Systems10.1587/transinf.2016FOP0001E100.D:6(1158-1165)Online publication date: 2017
https://doi.org/10.1587/transinf.2016FOP0001
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents