A specification theory combines notions of specifications and implementations with a
satisfaction relation, a refinement relation and a set of operators supporting stepwise design …

This paper presents the core concepts for the poST language–a process-oriented extension
of the IEC 61131-3 Structured Text (ST) language which intends to provide a conceptual …

An overview of the current state of the art of formal verification of real-time systems is
presented. We discuss commonly accepted models, specification languages, verification …

We consider the language inclusion problem for timed automata: given two timed automata
A and B, are all the timed traces accepted by B also accepted by A? While this problem is …

We introduce the distributed gradient clock synchronization problem. As in traditional
distributed clock synchronization, we consider a network of nodes equipped with hardware …

Abstract We present a Generalized Deformable Spatial Pyramid (GDSP) matching algorithm
for calculating the dense correspondence between a pair of images with large appearance …

This paper introduces a conceptual framework for complex control algorithms in form of
hyperprocess model. To demonstrate the practical value of the model we describe grammar …

We discuss the modeling and verification of real-time systems using the SAL model checker.
A new modeling framework based on event calendars enables dense timed systems to be …

Combining; discrete state transitions with differential equations, Hybrid system models
provide an expressive formalism for describing software systems that interact with a physical …

Reflex is a process-oriented language that provides design of easy-to-maintain control
software. The language has been successfully used in several safety-critical cyber-physical …