Your search for 37165 returns 265 document(s) |
Control synthesis for a class of hybrid systems subject to configuration-based safety constrains, Hal. 376-396 |
Author: Michael Heymann; Feng Lin; George Meyer; | Call Number: 004.33 Mal f | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The Enhancement of node positioning accuracy using hybrid localization method for wireless sensor networks |
Author: Prima Kristalina, Wirawan, Gamantyo Hendrantoro; | Call Number: SEM 304 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Generalized conflict learning for hybrid discrete/linear optimization, (LNCS-Lecture Notes in Computer Science 3709) Hal 415-429 |
Author: Hui Li; Brian Williams; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Decidable model checking of probabilistic hybrid automata, (LNCS-Lecture Notes in Computer Science 1926) Hal 31-45 |
Author: Jeremy Sproston; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Co-simulation of Hybrid systems: signal-simulink, (LNCS-Lecture Notes in Computer Science 1926) Hal 134-151 |
Author: Stephane Tudoret; Simin Nadjm-Tehrani; Albert Benveniste; Jan-Eric Stromberg; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Generalizing action systems to hybrid systems, (LNCS-Lecture Notes in Computer Science 1926) Hal 202-213 |
Author: Ralph-Johan Back; Luigia Petre; Ivan Porres; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Using cylindrical algebraic decomposition for the analysis of slope parametric hybrid automata, (LNCS-Lecture Notes in Computer Science 1926) Hal 252-263 |
Author: Michael Adlaide; Olivier Roux; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Analysis of slope-parametric hybrid automata, (LNCS-Lecture Notes in Computer Science 1201) Hal 75-80 |
Author: Frederic Boniol; Augusto Burgueno; Olivier Roux; Vlad Rusu; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
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
|
Hybrid control issues in air traffic management systems ( Invited presentation ), (LNCS-Lecture Notes in Computer Science 1201) Hal 108 |
Author: Shankar Sastry; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|