hh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Chattering-Free Simulation for Hybrid Dynamical Systems: Semantics and Prototype Implementation
Centre de Recherche INRIA, Rennes, France. (Hycomes Team, Département D4)
Rice University, Houston, Texas, United States.
Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES). (Effective Modeling Group)ORCID iD: 0000-0003-4175-4020
Centre de Recherche INRIA, Rennes, France.
Show others and affiliations
2016 (English)In: 2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES) / [ed] Randall Bilof, Los Alamitos: IEEE Computer Society, 2016, p. 412-422, article id 7982279Conference paper, Published paper (Refereed)
Abstract [en]

Chattering is a fundamental phenomenon that is unique to hybrid systems, due to the complex interaction between discrete dynamics (in the form of discrete transitions) and continuous dynamics (in the form of time). In practice, simulating chattering hybrid systems is challenging in that simulation effectively halts near the chattering time point, as an infinite number of discrete transitions would need to be simulated. In this paper, formal conditions are provided for when the simulated models of hybrid systems display chattering behavior, and methods are proposed for avoiding chattering “on the fly” in runtime. We utilize dynamical behavior analysis to derive conditions for detecting chattering without enumeration of modes. We also present a new iterative algorithm to allow for solutions to be carried past the chattering point, and we show by a prototypical implementation how to generate the equivalent chattering-free dynamics internally by the simulator in the main simulation loop. The concepts are illustrated with examples throughout the paper. © 2016 IEEE.

Place, publisher, year, edition, pages
Los Alamitos: IEEE Computer Society, 2016. p. 412-422, article id 7982279
Keywords [en]
Hybrid systems, Numerical simulations, Chattering execution, Modeling and simulation, Model verification and completeness
National Category
Computer Sciences Computational Mathematics
Identifiers
URN: urn:nbn:se:hh:diva-32092DOI: 10.1109/CSE-EUC-DCABES.2016.217Scopus ID: 2-s2.0-85026642957Libris ID: 20918903ISBN: 978-1-5090-3593-9 (electronic)ISBN: 978-1-5090-3594-6 (print)OAI: oai:DiVA.org:hh-32092DiVA, id: diva2:974863
Conference
19th IEEE International Conference on Computational Science and Engineering (CSE 2016), Paris, France, August 24-26, 2016
Funder
Knowledge Foundation
Note

Funding: Collège Doctoral International (CDI) of the European University of Brittany, Brittany Regional Council, ITEA2 MODRIO project, the US National Science Foundation award CPS-1136099, the Swedish Knowledge Foundation (KK), and the Center for Research on Embedded Systems (CERES)

Available from: 2016-09-27 Created: 2016-09-27 Last updated: 2021-05-11Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Duracz, AdamTaha, Walid

Search in DiVA

By author/editor
Duracz, AdamTaha, Walid
By organisation
Centre for Research on Embedded Systems (CERES)
Computer SciencesComputational Mathematics

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 929 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf