Abstract
This paper presents a method to build a formal model of a plant, in the form of a network of timed automata, to be used for model-based verification of controllers. To ensure re-usability, this model is built by instantiation of generic components models. When the instantiated components models are assembled, spurious evolutions leading to states which do not represent the real behavior of the plant, can occur, owing to the rich semantics of the modeling formalism. Then a modeling strategy is proposed in order to discard these evolutions so as to reduce the state space of the plant model to the only meaningful states. The method is exemplified and discussed on a small case study.
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.
