Scholarlink

As in engineering, many phenomena of natural sciences such as biology and chemistry can be modelled using state-transition systems. In this context, the solid tools and theories from computer science represent a valuable resource to analyse, and reason about, such kind of systems. This paper contributes in this direction by using the Uppaal model checker to approach the circadian clock of a cyanobacteria, a challenging case study from biology that was already treated using discrete frameworks.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

An Exercise in Uppaal: Modelling the Circadian Clock of a Cyanobacteria

  • 会议论文

  • 发表日期：

    2025年

查看全文
  • Antonio Iglesias,
  • Daniel Figueiredo,
  • Alexandre Madeira

摘要

As in engineering, many phenomena of natural sciences such as biology and chemistry can be modelled using state-transition systems. In this context, the solid tools and theories from computer science represent a valuable resource to analyse, and reason about, such kind of systems. This paper contributes in this direction by using the Uppaal model checker to approach the circadian clock of a cyanobacteria, a challenging case study from biology that was already treated using discrete frameworks.