...
机译:Sampled-data Event Control Of Hybrid Systems For Control Specifications Given By Predicate
Graduate School of Engineering Science, Osaka University, Toyonaka-shi, 560-8531 Japan;
hybrid automaton; sampled-data control system; control-invariance;