Charge Pump Phase-Locked Loops and Full Wave Rectifiers for Reachability Analysis.

Omar Beg Ali Davoudi Taylor T. Johnson

Published in: ARCH@CPSWeek (2016)

Keyphrases

reachability analysis
phase locked
model checking
markov decision processes
timed automata
incremental algorithms
state space
optimal design
data acquisition
data mining
wave propagation
condition monitoring
wave equation
high pressure
real time
video sequences
charge coupled devices