Analyzing Real Time Linear Control Systems Using Software Verification.

Parasara Sridhar Duggirala Mahesh Viswanathan

Published in: RTSS (2015)

Keyphrases

control system
real time
real time control
real environment
high speed
linear systems
data mining
closed loop
control algorithm
case study
hidden markov models
closed form
piecewise linear
real time systems
simple linear