Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2008/11/01 Vol. E91-ANo. 11 ;
pp. 3365-3373 Type of Manuscript: PAPER Category: Concurrent Systems Keyword: hybrid automaton, sampled-data control system, control-invariance,