Hybrid intelligent systems are becoming a very important problem-solving methodology affecting researchers and practitioners in areas ranging from science and t

This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in N

"Hybrid systems are networks of interacting digital and analog devices. Control systems for inherently unstable aircraft and computer aided manufacturing are ty

Languages and Tools for Hybrid Systems Design is intended to equip researchers, application developers and managers with key references and resource material fo

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 incr