Attributed Transition Systems with Hidden Transitions
Sign Up to like & getrecommendations! Published in 2017 at "Cybernetics and Systems Analysis"
DOI: 10.1007/s10559-017-9954-2
Abstract: This paper conducts the set-theoretic analysis of the structure of attributed transition systems with hidden transitions on the assumption that the set of states for which the set of transitions can be extended is fixed… read more here.
Keywords: systems hidden; transition systems; hidden transitions; attributed transition ... See more keywords
Lazy controller synthesis for monotone transition systems and directed safety specifications
Sign Up to like & getrecommendations! Published in 2022 at "Automatica"
DOI: 10.1016/j.automatica.2021.109993
Abstract: In this paper, we provide a lazy control synthesis algorithm for monotone transition systems and directed safety specifications. Two classes of monotone transition systems are presented: state monotone transition systems and input-state monotone transition systems.… read more here.
Keywords: transition systems; monotone transition; transition; safety ... See more keywords