Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Towards the Verification of Hybrid Co-simulation Algorithms Kapitel lesen Erstes Kapitel lesen

2018 | OriginalPaper | Buchkapitel

Co-simulation of Physical Model and Self-Adaptive Predictive Controller Using Hybrid Automata

verfasst von : Imane Lamrani, Ayan Banerjee, Sandeep K. S. Gupta

Erschienen in: Software Technologies: Applications and Foundations

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Self-adaptive predictive control (SAP) systems adjust their behavior in response to the changing physical system in order to achieve improved control. As such, models of self-adaptive control systems result in time variance of parameters. This significantly increases the complexity of model checking verification and reachability analysis techniques. In this paper, we explore recent studies on co-simulation of SAP controllers and propose a novel co-simulation platform that can be used to analyze the effectiveness of verification and reachability analysis techniques developed for SAP controllers.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel Towards a Co-simulation Based Model Assessment Process for System Architecture
Nächstes Kapitel Formalizing a Notion of Concentration Robustness for Biochemical Networks
Literatur
1.
Jacklin, S., et al.: Verification, validation, and certification challenges for adaptive fight-critical control system software. In: AIAA Guidance, Navigation, and Control Conference and Exhibit (2004)
2.
Turksoy, K., Cinar, A.: Adaptive control of artificial pancreas systems-a review. J. Healthc. Eng. 5, 1–22 (2014)CrossRef
3.
Frehse, G.: Reachability of hybrid systems in space-time. In: ACM SIGBED EMSOFT (2015)
4.
Sadeghi, K., et al.: Permanency analysis on human electroencephalogram signals for pervasive brain-computer interface systems. In: 39th Annual International Conference of the IEEE EMBC (2017)
5.
Frehse, G.: Scalable verification of hybrid systems. Diss. Univ, Grenoble Alpes (2016)
6.
Hovorka, R., et al.: Nonlinear model predictive control of glucose concentration in subjects with type 1 diabetes. Physiol. Measure. 25(4), 905 (2004)CrossRef
7.
Eren-Oruklu, M., et al.: Self-tuning controller for regulation of glucose levels in patients with type 1 diabetes. In: American Control Conference, pp. 819–824. IEEE (2008)
8.
Iftikhar, M.U., Weyns, D.: A case study on formal verification of self-adaptive behaviors in a decentralized system. arXiv preprint arXiv:​1208.​4635 (2012)
9.
10.
Hatvani, L.: Formal verification of adaptive real-time systems by extending task automata. Diss. Mälardalen University (2014)
11.
Chutinan, A., Krogh, B.H.: Computational techniques for hybrid system verification. IEEE Trans. Autom. Control 48(1), 64–75 (2003)MathSciNetCrossRef
12.
Tan, L.: Model-based self-adaptive embedded programs with temporal logic specifications, pp. 151–158. Software IEEE (2006)
13.
14.
Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a nutshell. Int. J. Softw. Tools Technol. Transf. 1(1–2), 134–152 (1997)CrossRef
15.
Althoff, M., Le Guernic, C., Krogh, B.H.: Reachable set computation for uncertain time-varying linear systems. In: 14th International Conference on Hybrid Systems: Computation and Control, pp. 93–102. ACM (2011)
16.
Andersen, K.E., Højbjerre, M.: A Bayesian approach to Bergman’s minimal model. In: Bishop, C.M., Frey, B.J. (eds.) Ninth International Workshop on Artificial Intelligence (2003)
17.
Lamrani, I., et al.: HyMn: mining linear hybrid automata from input output traces of cyber-physical systems. IEEE International Conference on Industrial Cyber-Physical Systems (2018)
18.
Moon, I.-H., et al.: Approximate reachability don’t cares for CTL model checking. In: In: IEEE/ACM CAD, pp. 351–358 (1998)
19.
Ravi, K., Somenzi, F.: High-density reachability analysis. In: IEEE/ACM CAD, pp. 154–158 (1995)
20.
Sadeghi, K., et al.: Optimization of brain mobile interface applications using IoT. In: 23rd International Conference on HiPC. IEEE (2016)
21.
Sadeghi, K., et al.: SafeDrive: an autonomous driver safety application in aware cities. In: International Conference on PerCom Workshops. IEEE (2016)
Metadaten
Titel
Co-simulation of Physical Model and Self-Adaptive Predictive Controller Using Hybrid Automata
verfasst von
Imane Lamrani
Ayan Banerjee
Sandeep K. S. Gupta
Copyright-Jahr
2018
Buch
Software Technologies: Applications and Foundations

Print ISBN: 978-3-030-04770-2

Electronic ISBN: 978-3-030-04771-9

Copyright-Jahr: 2018

DOI
https://doi.org/10.1007/978-3-030-04771-9_7