LAUSR

Critical Observability for Automata and Petri Nets

Sign Up to like & get
recommendations!
0 Published in 2020 at "IEEE Transactions on Automatic Control"

DOI: 10.1109/tac.2019.2912484

Abstract: Critical observability is a property of cyber-physical systems to detect whether the current state belongs to a set of critical states. In safety-critical applications, critical states model operations that may be unsafe or of a… read more here.

Keywords: critical observability; automata petri; critical states; petri nets ... See more keywords