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