基于验证的区间型离散事件系统的鲁棒分析与控制

区间型DEDS是研究制造系统的摄动行为，异步电路实现工作过程，网络化嵌入控制设备的接口时序逻辑等新技术的需要推动下出现的一类重要系统，并可扩展用于研究某些混合动态系统的离散服务过程。本项目基于有效的验证手段，系统研究此类系统的鲁棒分析（结构性质和进程行为，时序有限检测判据等）和控制综合（逻辑控制和优化控制）。