This book bridges fundamental gaps between control theory and formal methods. Although it focuses on discrete-time linear and piecewise affine systems, it also

Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a fo

As computer technology is used to control critical systems to an increasing degree, it is vital that the methods for developing and understanding these systems

Evolving technologies in mass production have led to the development of advanced techniques in the field of manufacturing. These technologies can quickly and ef

In any serious engineering discipline, it would be unthinkable to construct a large system without having a precise notion of what is to be built and without ve