Simultaneous occurrences and false-positives analysis in discrete event dynamic systems

2020 ◽  
Vol 44 ◽  
pp. 101162 ◽  
Author(s):  
John William Vásquez Capacho ◽  
Carlos Gustavo Perez Zuñiga ◽  
Yecid Alfonso Muñoz Maldonado ◽  
Adalberto Ospino Castro
Keyword(s):  
Dynamic Systems ◽  
Discrete Event ◽  
False Positives ◽  
Discrete Event Dynamic Systems ◽  
Event Dynamic

How to model planning and scheduling problems using constraint networks on timelines

2010 ◽  
Vol 25 (3) ◽  
pp. 319-336 ◽  
Author(s):  
Gérard Verfaillie ◽  
Cédric Pralet ◽  
Michel Lemaître
Keyword(s):  
Dynamic Systems ◽  
Discrete Event ◽  
Discrete Event Dynamic Systems ◽  
Scheduling Problems ◽  
Planning And Scheduling ◽  
Constraint Networks ◽  
Modeling Power ◽  
Mission Management ◽  
Event Dynamic ◽  
Domain Management

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.

Frameworks for evaluating discrete event dynamic systems

1993 ◽  
Vol 3 (2-3) ◽  
pp. 113-118 ◽  
Author(s):  
Bernard P. Zeigler ◽  
William H. Sanders
Keyword(s):  
Dynamic Systems ◽  
Discrete Event ◽  
Discrete Event Dynamic Systems ◽  
Event Dynamic
Sign in / Sign up

Export Citation Format

Share Document