State Estimation of Timed Automata Under Partial Observation
Sign Up to like & getrecommendations! Published in 2024 at "IEEE Transactions on Automatic Control"
DOI: 10.1109/tac.2024.3492955
Abstract: In this article, we consider partially observable timed automata endowed with a single clock. A time interval is associated with each transition specifying at which clock values it may occur. In addition, a resetting condition… read more here.
Keywords: timed automaton; estimation timed; timed automata; state ... See more keywords