An incremental model repair approach to timed discrete event systems
Sign Up to like & getrecommendations! Published in 2017 at "IFAC-PapersOnLine"
DOI: 10.1016/j.ifacol.2017.08.2395
Abstract: Abstract New results on the model repair for timed discrete systems, modeled as Time Petri net systems, are presented in this paper. Unexpected and missed behavior in the nominal model, leading to observed but unexpected… read more here.
Keywords: model repair; incremental model; model; event ... See more keywords
Supervisory Control of Timed Discrete Event Systems with Logical and Timed Specifications
Sign Up to like & getrecommendations! Published in 2021 at "IEEE Transactions on Automatic Control"
DOI: 10.1109/tac.2021.3093618
Abstract: A novel framework is introduced for the supervisory control (SC) of timed discrete event systems, based on Time Petri nets. The method encompasses both logical (markings to reach or avoid) and temporal specifications (arrival and… read more here.
Keywords: discrete event; control; control timed; event systems ... See more keywords