Search Result Save to File Save as CSV
Your search for 39595 returns 2266 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 
Control synthesis for a class of hybrid systems subject to configuration-based safety constraints, (LNCS-Lecture Notes in Computer Science 1201) Hal 376-390
Author: Michael Heymann; Feng Lin; George Meyer; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Developments in hybrid systems synthesis and verfications, Hal. 141-160
Author: Amir Pnuli; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
The Ethics of Safety-Critical Systems
Author: Jonathan Bowen | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Hybrid systems and relaxed optimal control: the para metric calculus of variations on finsher manifolds Cartan connections and extracting control autumata, Hal. 7-14
Author: World Kohn; Anil Neorde; J.B. Remmel; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Constructing hybrid control systems form robust linear control agents,((LNCS-Lecture Notes in Computer Science 999) Hal. 324-343
Author: Michael Lemmon; Christopher Beitt; | Call Number: 005.369 Ant 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 
Hybrid systems as finser manifolds: finite state control as approximation to connection,(LNCS-Lecture Notes in Computer Science 999) Hal. 295-321
Author: Wolf Kohn; Anil Nerode; Jeffrey B. Benard; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Viable control of hybrid systems, (LNCS-Lecture Notes in Computer Science 999)Hal. 128-147
Author: Akash Deshpande and Pravin Varaiya; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next