原文传递
HyCIRCA: Formal Synthesis and Verification Techniques of Autonomous Cyber-Physical Systems.
| 题名： | HyCIRCA: Formal Synthesis and Verification Techniques of Autonomous Cyber-Physical Systems. |
| 作者： | Goldman, R. P.; Bryce, D.; Musliner, D. J.; Pelican, M. J.; Islam, M. A.; Pfenning, F.; Clarke, E. M. |
| 关键词： | Control systems, Artificial intelligence, Unmanned aerial vehicles, Supervisory control, Spacecraft, Probability, Complex systems, Probabilistic models, Autonomous systems, Algorithms, Hybrid systems, Computational science, Sbir report, Controller synthesis, Cyber physical systems, Hierarchical task network planning, Linear systems, Temporallogic, Unmanned systems, Verification |
| 摘要： | This report was developed under a SBIR contract for topic AF14A-T06 (Formal Synthesis and Verification Techniques for Autonomous Cyber-Physical Systems). SIFT and CMU developed HyCIRCA, a novel method for correct-by-construction nonlinear hybrid (discrete/continuous)planning and controller synthesis for autonomous systems. HyCIRCA was built by integrating mission planning and controller synthesis from SIFTs Cooperative Intelligent Real-time Control Architecture, its Playbook Human-Computer Interface, and CMUs dReal and dReach systems for hybrid systems verification. The resulting system provides a substantial advance in efficient controller synthesis for cyber-physical systems. |
| 报告类型： | 科技报告 |
相关文献
检索历史
应用推荐
