Abstract
Abstract The paper concerns process supervision tasks in which a continuous-variable system has to be moved into a globally defined final state. A hybrid model is proposed that describes the discrete-event behaviour as well as the quantitative behaviour of the continuous-variable system. The model consists of a Petri net and of differential equations whose validity depends on the marking of the net. The supervisory control task is solved by searching for a path within the Petri net from the current towards the final state and by using the relevant quantitative models to determine the speed of the state transitions. The results are illustrated by means of a laboratory tank system.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: 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.