Export Citations
1 Results for: Book/Issue: Logical Analysis of Hybrid Systems
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,774,283 records)|Limit your search to The ACM Full-Text Collection (760,995 records)
Showing 1 - 1of1 Results
- bookSeptember 2010
Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics
Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Many applications are safety-critical, including car, railway, and air traffic control, robotics, physicalchemical process ...