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 …

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 …

The Ramadge-Wonham framework for control of discrete event systems is augmented with
timing features by use of Ostroff's semantics for timed transition models. It is shown that the …

Standards concerned with the development of safety-critical systems, and the software in
such systems in particular, abound today as the software crisis increasingly affects the world …

The fieldbuses take more and more a major place in automation systems, in embedded
systems, in building automation. This conference is a state of the art on fieldbus. It is …

Fieldbus technology in industrial automation is not only relatively complex because of the
number of solutions possible, but also, and above all, because of the variety of applications …

Test und Validierung spielen bei Echtzeitsystemen eine zentrale Rolle: Auf die
Spezifikationen, die der Hersteller angibt, muss sich der Kunde hier in besonders hohem …

The name" temporal logic" may sound complex and daunting; but while they describe
potentially complex scenarios, temporal logics are often based on a few simple, and …

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 …

Formal specifications were first used in the description of program ming languages because
of the central role that languages and their compilers play in causing a machine to perform …