https://www.mdu.se/

mdu.sePublications
Planned maintenance
A system upgrade is planned for 10/12-2024, at 12:00-13:00. During this time DiVA will be unavailable.
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
Modeling and Verifying a Temperature Control System using Continuous Action Systems
Turku Centre for Computer Science .
Turku Centre for Computer Science .ORCID iD: 0000-0003-2870-2680
2000 (English)Conference paper, Published paper (Refereed)
Abstract [en]

We formally describe and verify a real-time temperature control system for a nuclear reactor tank, using a generalization of action systems to hybrid systems (based on weakest precondition predicate transformer semantics) as our formal framework. The analyzed control system is a linear hybrid system, combining discrete control with continuous dynamics. Our work can be seen as a case study on the applicability of the hybrid action system formalism to study the reachability problem, i.e., to prove that an unsafe state can not be reached by executing the system.

Place, publisher, year, edition, pages
2000. p. 265-286
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-9225OAI: oai:DiVA.org:mdh-9225DiVA, id: diva2:301798
Conference
5th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2000)
Available from: 2010-03-03 Created: 2010-03-03 Last updated: 2015-10-12Bibliographically approved

Open Access in DiVA

No full text in DiVA

Authority records

Cerschi (Seceleanu), Cristina

Search in DiVA

By author/editor
Cerschi (Seceleanu), Cristina
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 125 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