CSP; Real-Time Systems; Specification; Timed Automata; Tool Support; Verification;
机译:基于干扰观察者的控制系统的递归最小二乘法的实时逆模型估计:单轮机器人的平衡控制
机译:非线性系统的实时故障检测方法及其基于异步TS模糊观测器的实现
机译:基于扰动观测器的VSC-HVDC系统滑模控制的设计和实时实现
机译:实时系统的观察者模式
机译:用于慢速和快速模式的系统的全序和降阶观测器和基于观测器的控制器设计的新方法
机译:iCuro™(重症监护室实时观察员):实时ICU患者数据集成和演示系统
机译:实时系统的观察者模式