DSpace at KOASAS
Browsing DSpace

Browse by Subject reachability analysis

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 3 of 3

1
A slicing-based approach to enhance Petri net reachability analysis

w.j. lee; Cha, Sungdeok; Kwon, Yong Rae; h.n. kim, JOURNAL OF RESEARCH AND PRACTICE IN INFORMATION TECHNOLOGY, v.32, no.2, pp.131 - 143, 2000-05

2
Symbolic reachability analysis for multiple-clock system design

Yi, JH; Kyung, Chong-Min, JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS, v.14, pp.533 - 551, 2005-06

3
Zonotopic Kalman filtering for stability augmentation and flight envelope estimation

Harno, Hendra G.; Kim, Yoonsoo; Moon, Jun; Bang, Hyochoong, PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART G-JOURNAL OF AEROSPACE ENGINEERING, v.235, no.15, pp.2288 - 2298, 2021-12

Discover

rss_1.0 rss_2.0 atom_1.0