Co-simulation of physical model and self-adaptive predictive controller using hybrid automata

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish (US)
Title of host publicationSoftware Technologies
Subtitle of host publicationApplications and Foundations - STAF 2018 Collocated Workshops, Revised Selected Papers
EditorsManuel Mazzara, Gwen Salaün, Iulian Ober
PublisherSpringer Verlag
Pages69-76
Number of pages8
ISBN (Print)9783030047702
DOIs
StatePublished - Jan 1 2018
EventInternational Conference on Software Technologies: Applications and Foundations, STAF 2018 - Toulouse, France
Duration: Jun 25 2018Jun 29 2018

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume11176 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

OtherInternational Conference on Software Technologies: Applications and Foundations, STAF 2018
CountryFrance
CityToulouse
Period6/25/186/29/18

Keywords

  • Co-simulation
  • Hybrid automata
  • Reachability analysis
  • Safety verification

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Co-simulation of physical model and self-adaptive predictive controller using hybrid automata'. Together they form a unique fingerprint.

  • Cite this

    Lamrani, I., Banerjee, A., & Gupta, S. (2018). Co-simulation of physical model and self-adaptive predictive controller using hybrid automata. In M. Mazzara, G. Salaün, & I. Ober (Eds.), Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Revised Selected Papers (pp. 69-76). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11176 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-030-04771-9_7