Sufficient Conditions for Temporal Logic Specifications in Hybrid Dynamical Systems
Sufficient Conditions for Temporal Logic Specifications in Hybrid Dynamical Systems
复制标题
混合动力系统中时态逻辑规范的充分条件
DOI：
10.1016/j.ifacol.2018.08.017
复制
发表时间：
2018
影响因子：
--
通讯作者：
Sanfelice, Ricardo G.
中科院分区：
文献类型：
--
作者：
Han, Hyejin;Sanfelice, Ricardo G.
登录
查看更多内容
HRELTL：混合系统的时序逻辑
影响因子：
1
作者：
A. Cimatti;Marco Roveri;S. Tonetta
通讯作者：
S. Tonetta
DOI：
10.1007/978-1-4613-1193-5
发表时间：
2020-02
期刊：
Student Solution Manual for Differential
Equations: Techniques, Theory, and
Applications
影响因子：
--
作者：
Guanrong Chen
通讯作者：
Guanrong Chen
关于混合动力系统集合前向不变性的概念和充分条件
DOI：
10.1109/cdc.2015.7402652
发表时间：
2015
期刊：
2015 54th IEEE Conference on Decision and Control (CDC)
影响因子：
--
作者：
Jun Chai;R. Sanfelice
通讯作者：
R. Sanfelice
信息物理系统的分析与设计：混合控制系统方法
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
R. Sanfelice
通讯作者：
R. Sanfelice