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

Imane Lamrani; Ayan Banerjee; Sandeep Gupta

doi:10.1007/978-3-030-04771-9_7

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

Imane Lamrani, Ayan Banerjee, Sandeep Gupta

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Scopus citations

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 language	English (US)
Title of host publication	Software Technologies
Subtitle of host publication	Applications and Foundations - STAF 2018 Collocated Workshops, Revised Selected Papers
Editors	Manuel Mazzara, Gwen Salaün, Iulian Ober
Publisher	Springer Verlag
Pages	69-76
Number of pages	8
ISBN (Print)	9783030047702
DOIs	https://doi.org/10.1007/978-3-030-04771-9_7
State	Published - 2018
Event	International Conference on Software Technologies: Applications and Foundations, STAF 2018 - Toulouse, France Duration: Jun 25 2018 → Jun 29 2018

Publication series

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

Other

Other	International Conference on Software Technologies: Applications and Foundations, STAF 2018
Country/Territory	France
City	Toulouse
Period	6/25/18 → 6/29/18

Keywords

Co-simulation
Hybrid automata
Reachability analysis
Safety verification

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-030-04771-9_7

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

Co-simulation of physical model and self-adaptive predictive controller using hybrid automata. / Lamrani, Imane; Banerjee, Ayan ; Gupta, Sandeep.
Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Revised Selected Papers. ed. / Manuel Mazzara; Gwen Salaün; Iulian Ober. Springer Verlag, 2018. p. 69-76 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11176 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11176 LNCS, Springer Verlag, pp. 69-76, International Conference on Software Technologies: Applications and Foundations, STAF 2018, Toulouse, France, 6/25/18. https://doi.org/10.1007/978-3-030-04771-9_7

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

Lamrani, Imane ; Banerjee, Ayan ; Gupta, Sandeep. / Co-simulation of physical model and self-adaptive predictive controller using hybrid automata. Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Revised Selected Papers. editor / Manuel Mazzara ; Gwen Salaün ; Iulian Ober. Springer Verlag, 2018. pp. 69-76 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{58f9ffcf55a241c288a3801d10cce241,

title = "Co-simulation of physical model and self-adaptive predictive controller using hybrid automata",

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

keywords = "Co-simulation, Hybrid automata, Reachability analysis, Safety verification",

author = "Imane Lamrani and Ayan Banerjee and Sandeep Gupta",

note = "Funding Information: This work has been partly funded by NIH grant EB019202. Thanks to Yi Zhang from CDRH, FDA for introducing the authors to the artificial pancreas model and regulatory issues. Publisher Copyright: {\textcopyright} Springer Nature Switzerland AG 2018.; International Conference on Software Technologies: Applications and Foundations, STAF 2018 ; Conference date: 25-06-2018 Through 29-06-2018",

year = "2018",

doi = "10.1007/978-3-030-04771-9_7",

language = "English (US)",

isbn = "9783030047702",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "69--76",

editor = "Manuel Mazzara and Gwen Sala{\"u}n and Iulian Ober",

booktitle = "Software Technologies",

}

TY - GEN

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

AU - Lamrani, Imane

AU - Banerjee, Ayan

AU - Gupta, Sandeep

N1 - Funding Information: This work has been partly funded by NIH grant EB019202. Thanks to Yi Zhang from CDRH, FDA for introducing the authors to the artificial pancreas model and regulatory issues. Publisher Copyright: © Springer Nature Switzerland AG 2018.

PY - 2018

Y1 - 2018

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

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

KW - Co-simulation

KW - Hybrid automata

KW - Reachability analysis

KW - Safety verification

UR - http://www.scopus.com/inward/record.url?scp=85058569510&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85058569510&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-04771-9_7

DO - 10.1007/978-3-030-04771-9_7

M3 - Conference contribution

AN - SCOPUS:85058569510

SN - 9783030047702

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 69

EP - 76

BT - Software Technologies

A2 - Mazzara, Manuel

A2 - Salaün, Gwen

A2 - Ober, Iulian

PB - Springer Verlag

T2 - International Conference on Software Technologies: Applications and Foundations, STAF 2018

Y2 - 25 June 2018 through 29 June 2018

ER -

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

Abstract

Publication series

Other

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this