Control of Real-Time Systems With Integer Parameters
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Transactions on Automatic Control"
DOI: 10.1109/tac.2020.3046578
Abstract: We consider the problem of synthesizing controllers for real-time systems where some timing features are not known with precision. We model the plant as a parametric timed automaton (PTA), i.e., a finite automaton equipped with… read more here.
Keywords: time systems; parameters control; real time; control real ... See more keywords