Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Synthesis of switching controllers using approximately bisimilar multiscale abstractions
Proceedings of the 14th international conference on Hybrid systems: computation and control
TuLiP: a software toolbox for receding horizon temporal logic planning
Proceedings of the 14th international conference on Hybrid systems: computation and control
Declarative abstractions for agent based hybrid control systems
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
ACM SIGBED Review - Work-in-Progress (WiP) Session of the 2nd International Conference on Cyber Physical Systems
Enforcing safety of cyberphysical systems using flatness and abstraction
ACM SIGBED Review - Work-in-Progress (WiP) Session of the 2nd International Conference on Cyber Physical Systems
Formal verification of hybrid systems
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Model-based dependability analysis of programmable drug infusion pumps
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
Linear hybrid system falsification through local search
ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis
PESSOA: a tool for embedded controller synthesis
CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
A symbolic approach to the design of nonlinear networked control systems
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
Brief paper: Controller synthesis for safety and reachability via approximate bisimulation
Automatica (Journal of IFAC)
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
Approximately bisimilar symbolic models for digital control systems
CAV'12 Proceedings of the 24th international conference on Computer Aided Verification
Hybrid three-dimensional formation control for unmanned helicopters
Automatica (Journal of IFAC)
CoSyMA: a tool for controller synthesis using multi-scale abstractions
Proceedings of the 16th international conference on Hybrid systems: computation and control
Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems
Proceedings of the 16th international conference on Hybrid systems: computation and control
Specification-guided controller synthesis for linear systems and safe linear-time temporal logic
Proceedings of the 16th international conference on Hybrid systems: computation and control
Supervisor synthesis for controller upgrades
Proceedings of the Conference on Design, Automation and Test in Europe
A game-theoretic approach to fault diagnosis and identification of hybrid systems
Theoretical Computer Science
Symbolic control of stochastic switched systems via finite abstractions
QEST'13 Proceedings of the 10th international conference on Quantitative Evaluation of Systems
Teaching cyber-physical systems: a programming approach
Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education
Pliant modalities in hybrid event-B
Theories of Programming and Formal Methods
Safety verification for linear systems
Proceedings of the Eleventh ACM International Conference on Embedded Software
Characterization and computation of infinite-horizon specifications over Markov processes
Theoretical Computer Science
| Hi-index | 0.01 |
Hybrid systems describe the interaction of software, described by finite models such as finite-state machines, with the physical world, described by infinite models such as differential equations. This book addresses problems of verification and controller synthesis for hybrid systems. Although these problems are very difficult to solve for general hybrid systems, several authors have identified classes of hybrid systems that admit symbolic or finite models. The novelty of the book lies on the systematic presentation of these classes of hybrid systems along with the relationships between the hybrid systems and the corresponding symbolic models. To show how the existence of symbolic models can be used for verification and controller synthesis, the book also outlines several key results for the verification and controller design of finite systems. Several examples illustrate the different methods and techniques discussed in the book.