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
System Analysis and Robustness
DIBRIS - Department of Computer Science, Bioengineering, Robotics and Systems Engineering, Genova University, Genova, Italy.ORCID iD: 0000-0001-8018-6543
University of Nottingham, Ningbo, China.ORCID iD: 0000-0002-1879-0763
Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).ORCID iD: 0000-0003-3160-9188
2019 (English)In: Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday / [ed] Tiziana Margaria, Susanne Graf & Kim G. Larsen, Cham: Springer, 2019, p. 36-44Conference paper, Published paper (Refereed)
Abstract [en]

Software is increasingly embedded in a variety of physical contexts. This imposes new requirements on tools that support the design and analysis of systems. For instance, modeling embedded and cyber-physical systems needs to blend discrete mathematics, which is suitable for modeling digital components, with continuous mathematics, used for modeling physical components. This blending of continuous and discrete creates challenges that are absent when the discrete or the continuous setting are considered in isolation. We consider robustness, that is, the ability of an analysis of a model to cope with small amounts of imprecision in the model. Formally, we identify analyses with monotonic maps between complete lattices (a mathematical framework used for abstract interpretation and static analysis) and define robustness for monotonic maps between complete lattices of closed subsets of a metric space. © Springer Nature Switzerland AG 2019

Place, publisher, year, edition, pages
Cham: Springer, 2019. p. 36-44
Series
Lecture Notes in Computer Science, ISSN 0302-9743, E-ISSN 1611-3349 ; 11200
Keywords [en]
Modeling, Simulation, Hybrid Systems, Cyber-Physical Systems
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:hh:diva-41304DOI: 10.1007/978-3-030-22348-9_4Scopus ID: 2-s2.0-85067949429Libris ID: 3dltz00417b47c8wISBN: 978-3-030-22347-2 (print)ISBN: 978-3-030-22348-9 (electronic)OAI: oai:DiVA.org:hh-41304DiVA, id: diva2:1381624
Note

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 11200)

Available from: 2019-12-24 Created: 2019-12-24 Last updated: 2020-03-25Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Taha, Walid

Search in DiVA

By author/editor
Moggi, EugenioAmin, FarjudianTaha, Walid
By organisation
Centre for Research on Embedded Systems (CERES)
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 84 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