Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Robust Design and Validation of Cyber-physical Systems

Robust Design and Validation of Cyber-physical Systems Co-simulation--based validation of hardware controllers adjoined with plant models, with continuous dynamics, is an important step in model-based design of controllers for Cyber-physical Systems (CPS). Co-simulation suffers from many problems, such as timing delays, skew, race conditions, and so on, making it unsuitable for checking timing properties of CPS. In our approach to validation of controllers, synthesised from their models, the synthesised controller is adjoined with a synthesised hardware plant unit. The synthesised plant and controller are then executed synchronously and Metric Interval Temporal Logic (MITL) properties are validated on the closed-loop system. The clock period is chosen, using robustness estimates, such that all timing properties that hold on the controller guiding the discretised plant model also hold on the original case of the continuous-time plant model guided by the controller. Benchmark results show that real-time MITL properties that are vacuously satisfied or violated due to co-simulation artefacts hold correctly in the proposed closed-loop validation framework. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png ACM Transactions on Embedded Computing Systems (TECS) Association for Computing Machinery

Robust Design and Validation of Cyber-physical Systems

Download PDF
21 pages

Loading next page...
 
/lp/association-for-computing-machinery/robust-design-and-validation-of-cyber-physical-systems-qJBAg069JB

References

References for this paper are not available at this time. We will be adding them shortly, thank you for your patience.

Publisher
Association for Computing Machinery
Copyright
Copyright © 2019 ACM
ISSN
1539-9087
eISSN
1558-3465
DOI
10.1145/3362098
Publisher site
See Article on Publisher Site

Abstract

Co-simulation--based validation of hardware controllers adjoined with plant models, with continuous dynamics, is an important step in model-based design of controllers for Cyber-physical Systems (CPS). Co-simulation suffers from many problems, such as timing delays, skew, race conditions, and so on, making it unsuitable for checking timing properties of CPS. In our approach to validation of controllers, synthesised from their models, the synthesised controller is adjoined with a synthesised hardware plant unit. The synthesised plant and controller are then executed synchronously and Metric Interval Temporal Logic (MITL) properties are validated on the closed-loop system. The clock period is chosen, using robustness estimates, such that all timing properties that hold on the controller guiding the discretised plant model also hold on the original case of the continuous-time plant model guided by the controller. Benchmark results show that real-time MITL properties that are vacuously satisfied or violated due to co-simulation artefacts hold correctly in the proposed closed-loop validation framework.

Journal

ACM Transactions on Embedded Computing Systems (TECS) – Association for Computing Machinery

Published: Nov 15, 2019

Keywords: Cyber-physical system

References

  • Reachability analysis of nonlinear differential-algebraic systems
    Althoff, Matthias; Krogh, Bruce H.
  • Principles of Cyber-physical Systems
    Alur, Rajeev
  • The algorithmic analysis of hybrid systems
    Alur, Rajeev; Courcoubetis, Costas; Henzinger, T.; Ho, P.; Nicollin, Xavier; Olivero, Alfredo; Sifakis, Joseph; Yovine, Sergio
  • Symbolic analysis for improving simulation coverage of Simulink/Stateflow models
    Alur, Rajeev; Kanade, Aditya; Ramesh, S.; Shashidhar, K. C.
  • Hybrid automata models of cardiac ventricular electrophysiology for real-time computational applications
    Andalam, Sidharta; Ramanna, Harshavardhan; Malik, Avinash; Roop, Parthasarathi; Patel, Nitish; Trew, Mark L.
  • S-TaLiRo: A tool for temporal logic falsification for hybrid systems
    Annpureddy, Yashwanth; Liu, Che; Fainekos, Georgios; Sankaranarayanan, Sriram
  • Modeling and simulation of cardiac tissue using hybrid I/O automata
    Bartocci, Ezio; Corradini, Flavio; Di Berardini, Maria Rita; Entcheva, Emilia; Smolka, Scott A.; Grosu, Radu
  • Assume--guarantee verification of nonlinear hybrid systems with Ariadne
    Benvenuti, Luca; Bresolin, Davide; Collins, Pieter; Ferrari, Alberto; Geretti, Luca; Villa, Tiziano
  • Functional mock-up interface for model exchange and co-simulation
    Blochwitz, Torsten
  • Hybrid Systems
    Brennon, C.; Joshua, E.
  • Determinate composition of FMUs for co-simulation
    Broman, David; Brooks, Christopher; Greenberg, Lev; Lee, Edward A.; Masin, Michael; Tripakis, Stavros; Wetter, Michael
  • Evaluation of the GHR car following model for traffic safety studies
    Bevrani, K.; Chung, E.; Miska, Marc
  • Methods for reliable simulation-based PLC code verification
    Carlsson, Henrik; Svensson, Bo; Danielsson, Fredrik; Lennartson, Bengt
  • Flow*: An analyzer for non-linear hybrid systems
    Chen, Xin; Ábrahám, Erika; Sankaranarayanan, Sriram
  • Robust online monitoring of signal temporal logic
    Deshmukh, Jyotirmoy V.; Donzé, Alexandre; Ghosh, Shromona; Jin, Xiaoqing; Juniwal, Garvit; Seshia, Sanjit A.
  • Robustness of temporal logic specifications
    Fainekos, Georgios E.; Pappas, George J.
  • Robust sampling for MITL specifications
    Fainekos, Georgios E.; Pappas, George J.
  • SpaceEx: Scalable verification of hybrid systems
    Frehse, Goran; Guernic, Colas Le; Donzé, Alexandre; Cotton, Scott; Ray, Rajarshi; Lebeltel, Olivier; Ripado, Rodolfo; Girard, Antoine; Dang, Thao; Maler, Oded
  • An approach to distributed remote control based on middleware technology, MATLAB/Simulink-LabMap/LabNet framework
    Bruce-Boye, Cecil; Beck, Rüdiger zum; Kazakov, Dmitry A.
  • Development of advanced driver assistance systems with vehicle hardware-in-the-loop simulations
    Gietelink, Olaf; Ploeg, Jeroen; De Schutter, Bart; Verhaegen, Michel
  • Co-simulation: A survey
    Gomes, Cláudio; Thule, Casper; Broman, David; Larsen, Peter Gorm; Vangheluwe, Hans
  • Synthesis of networks of custom processing elements for real-time physical system emulation
    Huang, Chen; Miller, Bailey; Vahid, Frank; Givargis, Tony
  • Automatic synthesis of physical system differential equation models to a custom network of general processing elements on FPGAs
    Huang, Chen; Vahid, Frank; Givargis, Tony
  • The distracted driver: Mechanisms, models, and measurement
    Hurts, Karel; Angell, Linda S.; Perez, Miguel A.
  • Numerical solution of the Euler equations by finite volume methods using Runge Kutta time stepping schemes
    Jameson, Antony; Schmidt, Wolfgang; Turkel, Eli
  • A model-based design methodology for cyber-physical systems
    Jensen, Jeff C.; Chang, Danica H.; Lee, Edward A.
  • An introduction to hybrid system modeling, analysis, and control
    Lygeros, John; Pappas, George; Sastry, Shankar
  • Hybrid I/O automata
    Lynch, Nancy; Segala, Roberto; Vaandrager, Frits; Weinberg, Henri B.
  • Emulation of cyber-physical systems using IEC-61499
    Malik, Avinash; Roop, Partha S.; Allen, Nathan; Steger, Théo
  • Modular compilation of hybrid systems for emulation and large scale simulation
    Malik, Avinash; Roop, Partha S.; Andalam, Sidharta; Trew, Mark; Mendler, Michael
  • A platform-based design methodology with contracts and related tools for the design of cyber-physical systems
    Nuzzo, Pierluigi; Sangiovanni-Vincentelli, Alberto L.; Bresolin, Davide; Geretti, Luca; Villa, Tiziano
  • An introduction to hybrid automata
    Raskin, Jean-François
  • A formal approach for modeling and simulation of human car-following behavior
    Ro, J. W.; Roop, P. S.; Malik, A.; Ranjitkar, P.
  • FMI-based co-simulation of hybrid closed-loop control system models
    Widl, Edmund; Judex, Florian; Eder, Katharina; Palensky, Peter
  • Multiagent smart grid automation architecture based on IEC 61850/61499 intelligent logical nodes
    Zhabelova, Gulnara; Vyatkin, Valeriy