Formal Verification of Control System Software (Princeton Series in Applied Mathematics)

Intelligent Mechatronic Systems: Modeling, Control and Diagnosis

Dynamic Modeling and Neural Network-Based Intelligent Control of Flexible Systems (IEEE Press Series on Control Systems Theory and Applications)

Applied Control Theory for Embedded Systems (Embedded Technology)

Verification and Control of Hybrid Systems: A Symbolic Approach

The Common Lisp Condition System: Beyond Exception Handling with Control Flow Mechanisms

SYSTEMS AND CONTROL: AN INTRODUCTION TO LINEAR, SAMPLED AND NONLINEAR SYSTEMS (Advanced Electrical and Computer Engineering)

Practical Zone System: A Guide to Photographic Control

Real World Instrumentation with Python: Automated Data Acquisition and Control Systems