Modeling and Control of Constant Speed Dynamic Hybrid Systems using Extended Time Petri Networks

摘要：

In this paper, we consider the supervisory control problem of systems modeled by Extended Time Petri Networks (ETPNs). These are Dynamic Hybrid Systems (DHS) characterized by a strong discrete component, and presenting some features, such as, cumulative memory, continuous variables, and the possibility of preempting and restarting of actions. Our control approach, based on a safety speci.cation, use Linear Hybrid Automata (LHA), which are derived automatically from the ETPN and used as a solution tool.

关键词： Time Hybrid Petri Networks Dynamic hybrid systems Memory-enabled tokens Piece-wise linear hybrid automata Supervisory control

作者: Yamen EL TOUATI Nejib BEN HADJ ALOUANE Moez YEDDES

作者单位: OASIS Laboratory,National Engineering School of Tunis BP 37, Le Belved`ere 1002 Tunis, Tunisia. CRISTAL Laboratory, National School of Information Sciences, Campus Universitaire - 2010 La Manouba,

会议类型: 国际会议

会议名称: The 24th Chinese Control and Decision Conference (第24届中国控制与决策学术年会 2012 CCDC)

会议地点: 太原

会议语种:英文

页码: 634-641

在线出版日期: 2012-05-23（万方平台首次上网日期，不代表论文的发表时间）