The algorithmic analysis of hybrid systems
Theoretical Computer Science - Special issue on hybrid systems
IEEE Spectrum
A game-theoretic approach to hybrid system design
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Studies in hybrid systems: modeling, analysis, and control
Studies in hybrid systems: modeling, analysis, and control
Robot Motion Planning
Automatic Symbolic Verification of Embedded Systems
IEEE Transactions on Software Engineering
Hybrid Systems
Hybrid Systems II
Proceedings of the First International Workshop on Hybrid Systems: Computation and Control
HSCC '98 Proceedings of the First International Workshop on Hybrid Systems: Computation and Control
Proceedings of the International Workshop on Hybrid and Real-Time Systems
HART '97 Proceedings of the International Workshop on Hybrid and Real-Time Systems
Stabilization of Systems with Changing Dynamics
HSCC '98 Proceedings of the First International Workshop on Hybrid Systems: Computation and Control
Using HyTech to Synthesize Control Parameters for a Steam Boiler
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995).
Automated Analysis of an Audio Control Protocol
Proceedings of the 7th International Conference on Computer Aided Verification
Reliable Multi-robot Coordination Using Minimal Communication and Neural Prediction
Revised Papers from the International Seminar on Advances in Plan-Based Control of Robotic Agents,
| Hi-index | 0.00 |
The design of controllers for hybrid systems (i.e. mixed discrete-continuous systems) in a systematic manner remains a challenging task. In this case study, we apply formal modeling to the design of communication and control strategies for a team of autonomous robots to attain specified goals in a coordinated manner. The model of linear hybrid automata is used to describe the high-level design, and the verification software HYTECH is used for symbolic analysis of the description. The goal of the project is to understand tradeoffs among various design alternatives by generating constraints among parameters using symbolic analysis. In this paper, we report on diffculties in modeling a team of robots using linear hybrid automata, results of analysis experiments, promise of the approach, and challenges for future research.