A Control Synthesis ToolforTimeDiscrete EventSystems
Alexandre Sava, Nidhal Rezg · 2006
Thispaperpresents a controlsynthesis software toolformanufacturing systems witha driven dynamic event. Thistoolisbasedonanoriginal control synthesis algorithm whichsolves theforbidden state problem(FSP)underthefollowing hypothesis: 1)each eventmayoccurattimeinstants specified byaninterval ora unionofintervals; 2)twotypesofeventsare considered: controllable andincontrollable events and3) theevolution oftimeisdiscrete. Thistoolgenerates alive andmaximally permissive controller whichcan1)acton thearriving dateofcontrollable events or2)completely forbid somecontrollable events. Theaimistoguaranty therespect ofthegiven specifications.