Keyword : hybrid automaton


RRT-Based Computation for Dynamic Security Analysis of Power Systems
Qiang WU Yoshihiko SUSUKI T. John KOO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2016/02/01
Vol. E99-A  No. 2 ; pp. 491-501
Type of Manuscript:  Special Section PAPER (Special Section on Mathematical Systems Science and its Applications)
Category: 
Keyword: 
power systemsecurityhybrid automatonreachabilityRRT
 Summary | Full Text:PDF(1MB)

Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicate
Yoshiyuki TSUCHIE Toshimitsu USHIO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2008/11/01
Vol. E91-A  No. 11 ; pp. 3365-3373
Type of Manuscript:  PAPER
Category: Concurrent Systems
Keyword: 
hybrid automatonsampled-data control systemcontrol-invariance
 Summary | Full Text:PDF(1009.8KB)

Control-Invariance of Sampled-Data Hybrid Systems with Clocked Events and Jitters
Yoshiyuki TSUCHIE Toshimitsu USHIO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2007/04/01
Vol. E90-A  No. 4 ; pp. 707-714
Type of Manuscript:  Special Section PAPER (Special Section on Selected Papers from the 19th Workshop on Circuits and Systems in Karuizawa)
Category: 
Keyword: 
hybrid automatonjittercontrol-invariancestate feedback
 Summary | Full Text:PDF(233.6KB)