PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude

Kyungmin Bae Joshua Krisiloff José Meseguer Peter Csaba Ölveczky

Published in: FTSCS (2012)

Keyphrases

control system
real time
low cost
vision system
quantitative analysis
genetic algorithm
multimedia
image analysis
multiresolution
statistical analysis
learning systems
data acquisition
real environment
real time control