Title: Logical Analysis Of Hybrid Systems Proving Theorems For Complex Dynamics
Subjects: Logic design, Computer science, Artificial intelligence, System analysis, Engineering, System theory, Hybrid systems