Nothing Special   »   [go: up one dir, main page]

skip to main content
10.1145/2185632.2185670acmconferencesArticle/Chapter ViewAbstractPublication PagescpsweekConference Proceedingsconference-collections
research-article

A symbolic approach to the design of nonlinear networked control systems

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.
[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.
[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.
[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.
[12]
D. Park. Concurrency and automata on infinite sequences. volume 104 of Lecture Notes in Computer Science, pages 167--183, 1981.
[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.
[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.
[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.
[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.
[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

View all
  • (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
  • (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
  • (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
  • Show More Cited By

Index Terms

  1. A symbolic approach to the design of nonlinear networked control systems

    Recommendations

    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
    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.

    Check for updates

    Author Tags

    1. alternating approximate bisimulation
    2. networked control systems
    3. symbolic control
    4. symbolic models

    Qualifiers

    • Research-article

    Conference

    HSCC'12
    Sponsor:
    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

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)2
    • Downloads (Last 6 weeks)2
    Reflects downloads up to 24 Nov 2024

    Other Metrics

    Citations

    Cited By

    View all
    • (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
    • (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
    • (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
    • (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
    • (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
    • (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
    • (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
    • (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
    • (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
    • (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
    • Show More Cited By

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Media

    Figures

    Other

    Tables

    Share

    Share

    Share this Publication link

    Share on social media