Quantified differential invariants
Proceedings of the 14th international conference on Hybrid systems: computation and control
Logic and compositional verification of hybrid systems
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
Formal verification of hybrid systems
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Distributed theorem proving for distributed hybrid systems
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Towards Formal Verification of Freeway Traffic Control
ICCPS '12 Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems
Poster Abstract: Getting Out of the Way -- Safety Verification without Compromise
ICCPS '12 Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
Formalizing hybrid systems with event-b
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
Playing hybrid games with keymaera
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
The Complete Proof Theory of Hybrid Systems
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Exercises in nonstandard static analysis of hybrid systems
CAV'12 Proceedings of the 24th international conference on Computer Aided Verification
Logical analysis of hybrid systems: a complete answer to a complexity challenge
DCFS'12 Proceedings of the 14th international conference on Descriptional Complexity of Formal Systems
Hyperstream processing systems: nonstandard modeling of continuous-time signals
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
Proceedings of the 16th international conference on Hybrid systems: computation and control
Certifying the safe design of a virtual fixture control algorithm for a surgical robot
Proceedings of the 16th international conference on Hybrid systems: computation and control
Flow*: an analyzer for non-linear hybrid systems
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
Bridging boolean and quantitative synthesis using smoothed proof search
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Pliant modalities in hybrid event-B
Theories of Programming and Formal Methods
Towards a modeling language for cyber-physical systems
Theories of Programming and Formal Methods
| Hi-index | 0.00 |
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 control, and biomedical devices. Hybrid systems analysis studies how we can build computerized controllers for physical systems which are guaranteed to meet their design goals. The author gives a unique, logic-based perspective on hybrid systems analysis. It is the first book that leverages the power of logic for hybrid systems. The author develops a coherent logical approach for systematic hybrid systems analysis, covering its theory, practice, and applications. It is further shown how the developed verification techniques can be used to study air traffic and railway control systems. This book is intended for researchers, postgraduates, and professionals who are interested in hybrid systems analysis, cyberphysical or embedded systems design, logic and theorem proving, or transportation and automation.