Model-bounded Monitoring of Hybrid Systems
Sign Up to like & getrecommendations! Published in 2022 at "ACM Transactions on Cyber-Physical Systems"
DOI: 10.1145/3529095
Abstract: Monitoring of hybrid systems attracts both scientific and practical attention. However, monitoring algorithms suffer from the methodological difficulty of only observing sampled discrete-time signals, while real behaviors are continuous-time signals. To mitigate this problem of… read more here.
Keywords: systems model; bounded monitoring; hybrid systems; model bounded ... See more keywords