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

Fingerprint

Hybrid Automata
Co-simulation
Physical Model
Adaptive Control
Predictive Control
Adaptive control systems
Controller
Reachability Analysis
Controllers
Predictive control systems
Control System
Model checking
Simulation Platform
Adaptive Systems
Model Checking

Keywords

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

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

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 proceedingConference 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)). https://doi.org/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",
year = "2018",
month = "1",
day = "1",
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

PY - 2018/1/1

Y1 - 2018/1/1

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

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

ER -