Abstract
This paper presents an algebraic approach for control laws synthesis of timed event graphs subjected to strict temporal constraints. This class of discrete event systems is deterministic, in the sense that its behaviour only depends on the initial marking and on the control that is applied. This behaviour can be modelled by a linear equations system in Min-Plus algebra. The temporal constraint is represented by an inequality that is also linear in the Min-Plus algebra. Then, a method for the synthesis of control laws ensuring the respect of constraints is described. We give explicit formulas characterising a control law, which ensures the validity of the temporal constraints. It is a causal feedback control, involving delays. The method is illustrated on an example.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
