原文传递
Verification of Periodically Controlled Hybrid Systems: Application to An Autonomous Vehicle
| 题名： | Verification of Periodically Controlled Hybrid Systems: Application to An Autonomous Vehicle |
| 作者： | Wongpiromsarn, Tichakorn;Mitra, Sayan;Murray, Richard M;Lamperski, Andrew; |
| 关键词： | application；period；systems；hybrid；call；controller；mous；specification；proper；auto |
| 摘要： | This paper introduces Periodically Controlled Hybrid Automata (PCHA) for modular specification of hybrid control systems. In a PCHA, control actions that change the control input to the plant occur roughly periodically, while other actions that update the state of the controller may occur in the interim, changing the set-point of the system. Such actions could model, for example, sensor updates and information received from higher-level planning modules that change the set-point of the controller. Based on periodicity and subtangential conditions, a new sufficient condition for verifying invariant properties of PCHAs is presented. Checking these conditions can be automated using, for example, the constraint-based approach, quantifier elimination, or sum of squares decomposition. The proposed technique is used to verify safety and progress properties of the planner-controller subsystem of an autonomous ground vehicle. Geometric properties of planner generated paths are derived which guarantee that such paths can be safely followed by the controller. |
| 总页数： | 40 Pages(s) |
| 报告类型： | 科技报告 |
相关文献
- HyCIRCA: Formal Synthesis and Verification Techniques of Autonomous Cyber-Physical Systems.
- DEPSCOR: Research on ARL's Intelligent Control Architecture: Hierarchical Hybrid-Model Based Design, Verification, Simulation, and Synthesis of Mission Control for Autonomous Underwater Vehicles.
- Position Verification Systems for an Automated Highway System.
- Position Verification Systems for an Automated Highway System.
- Hybrid Verification of an Interface for an Automatic Landing
- Modelling and Verification of Advanced Vehicle Control Systems Using Timing-Based Computing Techniques; Final research rept. 1 Sep 95-28 Feb 98
检索历史
应用推荐
