As the amount of biological data in the public domain grows, so does the range of modeling
and analysis techniques employed in systems biology. In recent years, a number of …

The specification of reactive and real-time systems must be supported by formal,
mathematically-founded methods in order to be satisfactory and reliable. Temporal logics …

An introduction to the engineering principles of embedded systems, with a focus on
modeling, design, and analysis of cyber-physical systems. The most visible use of …

Reactive systems are computing systems which are interactive, such as real-time systems,
operating systems, concurrent systems, control systems, etc. They are among the most …

In this paper, we consider the robust interpretation of Metric Temporal Logic (MTL) formulas
over signals that take values in metric spaces. For such signals, which are generated by …

To model the behavior of finite-state asynchronous real-time systems we propose the notion
of timed Büchi automata (TBA). TBAs are Büchi automata coupled with a mechanism to …

The most natural, compositional, way of modeling real-time systems uses a dense domain
for time. The satistiability of timing constraints that are capable of expressing punctuality in …

The subject of this chapter is the study of formal languages (mostly languages recognizable
by finite automata) in the framework of mathematical logic. The connection between …

Handbook of Knowledge Representation describes the essential foundations of Knowledge
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …

We investigate extensions of temporal logic by connectives defined by finite automata on
infinite words. We consider three different logics, corresponding to three different types of …