...
机译:使用控制不变量的切换动力系统定时自动机抽象
Univ Paris Saclay, LSV, CNRS, Cachan, France|Univ Paris Saclay, ENS Cachan, Cachan, France;
Univ Paris Saclay, LSV, CNRS, Cachan, France|Univ Paris Saclay, ENS Cachan, Cachan, France;
UPMC Univ Paris 06, Sorbonne Univ, UMR 7222, ISIR, F-75005 Paris, France|CNRS, UMR 7222, ISIR, F-75005 Paris, France;
UPMC Univ Paris 06, Sorbonne Univ, UMR 7222, ISIR, F-75005 Paris, France;
Switched dynamical systems; Timed automata; Cyber-physical systems;
机译:具有随机切换的动力系统的不变密度
机译:采样开关系统的有限控制不变式
机译:使用开关系统使用开关鲁棒控制不变集的交换系统中的约束满足条件
机译:使用控制漏斗的切换动力系统定时自动机抽象
机译:动力学系统中的模型抽象:在移动机器人控制中的应用。
机译:随机动力系统中基于集合的畜栏控制:几乎不变集更不变
机译:使用控制不变量的切换动力系统定时自动机抽象