Fault tree analysis (FTA) is a very prominent method to analyze the risks related to safety
and economically critical assets, like power plants, airplanes, data centers and web shops …

We present a general framework for the formal specification and algorithmic analysis of
hybrid systems. A hybrid system consists of a discrete program with an analog environment …

We introduce the framework of hybrid automata as a model and specification language for
hybrid systems. Hybrid automata can be viewed as a generalization of timed automata, in …

This book is about dynamical systems that are" hybrid" in the sense that they contain both
continuous and discrete state variables. Recently there has been increased research …

The next step on from defining the system requirements is to create an architectural design
as indicated by the second instantiation of the generic process in Figure 6.1. This must be …

Computer systems are increasingly employed in circumstances where their failure (or even
their correct operation, if they are built to flawed requirements) can have serious …

Written for those who want to develop their knowledge of requirements engineering process,
whether practitioners or students. Using the latest research and driven by practical …

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 …

Presents a model-checking procedure and its implementation for the automatic verification
of embedded systems. The system components are described as hybrid automata …

We propose a framework for the formal specification and verification of timed and hybrid
systems. For timed systems we propose a specification language that refers to time only …