Modeling and Real-Time Verification for CPS based on Time Automata.

Mingfu Tuo Xiaoqiang Zhao Bo Shen Wenliang Wu

Published in: QRS Companion (2022)

Keyphrases

real time
finite automata
databases
real time systems
low cost
vision system
model checking
cellular automata
hidden markov models
control system
image sequences
data acquisition
finite state machines
information systems
artificial intelligence
asynchronous circuits
probabilistic automata