Verification and Control of Hybrid Systems: A Symbolic Approach
A scholarly text on symbolic methods for verification and control of hybrid systems. Provides deep theoretical insights for system theory researchers. Customer insight: accurate and rigorous presentation
Highlights
- symbolic verification methods
- hybrid systems focus
- system-theory applicability
Pros
- theoretical rigor
- focus on symbolic approaches
- relevant to system theory
- clear methodological framework
Cons
- no features listed
- narrow topic scope
- limited customer insight
