Mahmoud, Muffet M.: Active fault tolerant control systems
: stochastic analysis and synthesis / Mufeed M. Mahmoud ; Jin Jiang ; Youmin Zhang. - Berlin : Springer, 2003. - XXIX, 210 S.; 24 cm - (Lecture notes in control and information sciences; 287)
ISBN 978-3-540-00318-2 / 3-540-00318-5 kart. : EUR 69.50
Literaturverz. S. 188 - 206
Quelle: DNB
Automated technology for verification and analysis
: 4th international symposium ; proceedings / ATVA 2006, Beijing, China, October 23 - 26, 2006. Susanne Graf ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4218)
ISBN 978-3-540-47238-4
Lizenzpflichtig
Quelle: DNB
Automated technology for verification and analysis
: 4th international symposium ; proceedings / ATVA 2006, Beijing, China, October 23 - 26, 2006. Susanne Graf ; Wenhui Zhang (ed.). - Berlin : Springer, 2006. - XIV, 540 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4218)
ISBN 978-3-540-47237-7 / 3-540-47237-1 kart. : EUR 72.76 (freier Pr.), sfr 120.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Automated technology for verification and analysis
: third international symposium ; proceedings / ATVA 2005, Taipei, Taiwan, October 4 - 7, 2005. Doron A. Peled ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3707)
ISBN 978-3-540-31969-6
Lizenzpflichtig
Quelle: DNB
Automated technology for verification and analysis
: 6th international symposium ; proceedings / ATVA 2008, Seoul, Korea, October 20 - 23, 2008. Sungdeok (Steve) Cha ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5311)
ISBN 978-3-540-88387-6
Lizenzpflichtig
Quelle: DNB
Borrelli, Francesco: Constrained optimal control of linear and hybrid systems
/ Francesco Borrelli. - Berlin : Springer, 2003. - XVII, 206 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in control and information sciences; 290)
ISBN 978-3-540-00257-4 / 3-540-00257-X kart. : EUR 85.55
Literaturverz. S. 197 - 206
Quelle: DNB
Control of nonlinear and hybrid process systems
: designs for uncertainty, constraints and time delays / Panagiotis D. Christofides .... - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in control and information sciences; 324)
ISBN 978-3-540-31567-4
Lizenzpflichtig
Quelle: DNB
David, René: Discrete, continuous, and hybrid Petri nets
/ René David ; Hassane Alla. - Berlin : Springer, 2004. - XXII, 524 S. : graph. Darst.; 24 cm
ISBN 978-3-540-22480-8 / 3-540-22480-7 Pp. : EUR 106.95 (freier Pr.), sfr 169.00 (freier Pr.)
Literaturverz. S. 501 - 514
Quelle: DNB Verlagsmeldungen
Formal methods and hybrid real-time systems
: essays in honor of Dines Bjørner and Chaochen Zhou on the occasion of their 70th birthdays / Cliff B. Jones ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4700)
ISBN 978-3-540-75221-9
Lizenzpflichtig
Quelle: DNB
Formal modeling and analysis of timed systems
: 6th international conference ; proceedings / FORMATS 2008, Saint Malo, France, September 15 - 17, 2008. Franck Cassez ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5215)
ISBN 978-3-540-85778-5
Lizenzpflichtig
Quelle: DNB
