Assessment of Bisimulation Non-Interference in Discrete Event Systems Modelled With Bounded Petri Nets
Sign Up to like & getrecommendations! Published in 2021 at "IEEE Control Systems Letters"
DOI: 10.1109/lcsys.2020.3017189
Abstract: Non-interference in discrete event systems deals with the possibility by an intruder to infer the occurrences of private and non observable events, the so called high-level ones, by interacting with the system at a user… read more here.
Keywords: bisimulation non; interference; non interference; event ... See more keywords
A Passive Non-Interference Scheme for Synchronously Measuring Multiple Parameters With Single Sensing Unit
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Transactions on Instrumentation and Measurement"
DOI: 10.1109/tim.2022.3217857
Abstract: The acquisition of parameters plays a crucial role in rotary systems, while multiparameter measurements with single or integrated sensing units have distinct advantages over those with multiple or separated ones. This work proposed a passive… read more here.
Keywords: synchronously measuring; passive non; non interference; scheme synchronously ... See more keywords