Search Result
Save to File
Your search for
37143
returns
3013
document(s)
A Cooperative design for hybrid systems (extended abstract), Hal. 15-20
Author: Belawati H. Widjaja; Chen Zongji; He Weidong; Zhou Chaochen; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
An improved reachability analysis method for strongly linear hybrid systems (extended abstract),(LNCS-Lecture Notes in Computer Science 1254) Hal 167-178
Author: Bernard Boigelot; Louis Bronne; Stephane Rassart; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
From duration calculus to linear hybrid automata (extended abstract), (LNCS-Lecture Notes in Computer Science 939) Hal 196-210
Author: Ahmed Bouajjani; Yassine Lakhnech; Riadh Robbana; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Local model checking for real-time systems (extended abstract), (LNCS-Lecture Notes in Computer Science 939) Hal 211-224
Author: Oleg V. Sokolsky; Scott A. Smolka; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Linear hybrid systems, Hal. 47-65
Author: Frits Vaandrager; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Design tools for hybrid control systems, (LNCS-Lecture Notes in Computer Science 1201) Hal 87-92
Author: M. S. Hajji; J. M. Bass; A. R. Browne; P. J. Fleming; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Controller design of hybrid systems, (LNCS-Lecture Notes in Computer Science 1201) Hal 240-254
Author: Stefan Pettersson; Bengt Lennartson; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Consumption Prediction on Steam Power Plant Using Data Mining Hybrid Particle Swarm Optimization (PSO) and Auto Regressive Integrated Moving Average (ARIMA) (15-20)
Author: Rinaldi Rusli Achmad Nizar Hidayanto Yova Ruldeviyani; | Call Number: SEM-373 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
A process algebra for hybrid systems, Hal. 129-135
Author: Jan Joris Vereijken; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Synthezing controllers for hybrid systems, Hal. 361-375
Author: Deepak Kapur; R.K. Siyamasuda; | Call Number: 004.33 Mal f | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev 1
2
3
4
5
6
7
8
9
10
Next