The description simulation and verification for switched control systems.

He Fenghua Ma Jie You Yu Zhao Xia

Published in: ACC (2003)

Keyphrases

control system
simulation model
high level
discrete event
real time
metadata
mathematical model
real environment
signature verification