hh.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • 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.
Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES). (Effective Modeling Group)ORCID-id: 0000-0003-4175-4020
Centre de Recherche INRIA, Rennes, France.
Visa övriga samt affilieringar
2016 (Engelska)Ingår i: 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, s. 412-422, artikel-id 7982279Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
Los Alamitos: IEEE Computer Society, 2016. s. 412-422, artikel-id 7982279
Nyckelord [en]
Hybrid systems, Numerical simulations, Chattering execution, Modeling and simulation, Model verification and completeness
Nationell ämneskategori
Datavetenskap (datalogi) Beräkningsmatematik
Identifikatorer
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 (digital)ISBN: 978-1-5090-3594-6 (tryckt)OAI: oai:DiVA.org:hh-32092DiVA, id: diva2:974863
Konferens
19th IEEE International Conference on Computational Science and Engineering (CSE 2016), Paris, France, August 24-26, 2016
Forskningsfinansiär
KK-stiftelsen
Anmärkning

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)

Tillgänglig från: 2016-09-27 Skapad: 2016-09-27 Senast uppdaterad: 2018-03-22Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Personposter BETA

Duracz, AdamTaha, Walid

Sök vidare i DiVA

Av författaren/redaktören
Duracz, AdamTaha, Walid
Av organisationen
Centrum för forskning om inbyggda system (CERES)
Datavetenskap (datalogi)Beräkningsmatematik

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 545 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf