图 书 馆
混合系统的可达性与学习Reachability and Learning for Hybrid Systems |
|
| 课程网址: | http://videolectures.net/rldm2015_tomlin_hybrid_systems/ |
| 主讲教师: | Claire J. Tomlin |
| 开课单位: | 加州大学伯克利分校 |
| 开课时间: | 2015-07-28 |
| 课程语种: | 英语 |
| 中文简介: |  |
| 课程简介: | Hybrid systems are a modeling tool allowing for the composition of continuous and discrete state dynamics. They can be represented as continuous systems with modes of operation modeled by discrete dynamics, with the two kinds of dynamics influencing each other. Hybrid systems have been essential in modeling a variety of important problems, such as aircraft flight management, air and ground transportation systems, robotic vehicles and human-automation systems. These systems use discrete logic in control because discrete abstractions make it easier to manage complexity and discrete representations more naturally accommodate linguistic and qualitative information in controller design. A great deal of research in recent years has focused on the synthesis of controllers for hybrid systems. For safety specifications on the hybrid system, namely to design a controller that steers the system away from unsafe states, we will present a synthesis and computational technique based on optimal control and game theory. We will briefly review these methods and their application to collision avoidance and avionics design in air traffic management systems, and networks of manned and unmanned aerial vehicles. Then, we will present a toolbox of methods combining reachability with machine learning techniques, to enable performance improvement while maintaining safety. We will illustrate these “safe learning” methods on a quadrotor UAV experimental platform which we have at Berkeley. |
| 关 键 词: | 混合系统; 建模工具; 连续系统 |
| 课程来源: | 视频讲座网 |
| 数据采集: | 2021-11-26：zkj |
| 最后编审: | 2021-11-26：zkj |
| 阅读次数: | 63 |