Login / Signup
The stochastic semantics and verification for periodic control systems.
Mengfei Yang
Zheng Wang
Geguang Pu
Shengchao Qin
Bin Gu
Jifeng He
Published in:
Sci. China Inf. Sci. (2012)
Keyphrases
</>
control system
model checking
formal semantics
logic programming
control policies
stochastic nature
asynchronous circuits
epistemic logic
signature verification
formal verification
periodic patterns
stochastic model
functional verification
default reasoning
multistage
state space
mobile robot