On the static output feedback stabilisation of discrete event dynamic systems based upon the approach of semi-tensor product of matrices

2019 ◽  
Vol 50 (8) ◽  
pp. 1595-1608 ◽  
Author(s):  
Zhipeng Zhang ◽  
Zengqiang Chen ◽  
Xiaoguang Han ◽  
Zhongxin Liu
2010 ◽  
Vol 25 (3) ◽  
pp. 319-336 ◽  
Author(s):  
Gérard Verfaillie ◽  
Cédric Pralet ◽  
Michel Lemaître

AbstractThe CNT framework (Constraint Network on Timelines) has been designed to model discrete event dynamic systems and the properties one knows, one wants to verify, or one wants to enforce on them. In this article, after a reminder about the CNT framework, we show its modeling power and its ability to support various modeling styles, coming from the planning, scheduling, and constraint programming communities. We do that by producing and comparing various models of two mission management problems in the aerospace domain: management of a team of unmanned air vehicles and of an Earth observing satellite.


1993 ◽  
Vol 3 (2-3) ◽  
pp. 113-118 ◽  
Author(s):  
Bernard P. Zeigler ◽  
William H. Sanders

Sign in / Sign up

Export Citation Format

Share Document