Faithin Omaha eBook Collection

Logical Approach to Systems Theory (LAST) provides the foundations for the second order treatment of system models and an effective framework for applying basic

Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Many applications are safety-crit

This book is in honor of Yasuhiko Takahara, a first-class researcher who has been active for some 50 years at the global level in systems research. Researchers

This book presents a collection of revised refereed papers selected from the contributions to the Fifth International Workshop on Computer Aided Systems Theory,