Design verification cyber physical systems (7 Ergebnisse)

Zustand: New. In English.

Paperback. Zustand: Brand New. 2015 edition. 313 pages. 9.50x6.50x0.75 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic of the summer school was devoted to modeling and verification of cyber-physical systems. This covers several aspects of the field, including hybrid systems and model checking, as well as applications in robotics and aerospace systems.The main chapters have been written by leading scientists, who present their field of research, each providing references to introductory material as well as latest scientific advances and future research directions. This is complemented by short papers submitted by the participating PhD students.…

Taschenbuch. Zustand: Neu. Formal Modeling and Verification of Cyber-Physical Systems | 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 | Rolf Drechsler (u. a.) | Taschenbuch | x | Englisch | 2015 | Springer VS | EAN 9783658099930 | Verantwortliche Person für die EU: Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Str. 46, 65189 Wiesbaden, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This Festschrift is dedicated to Martin Fränzle, a leading researcher in formal methods and cyber-physical systems. After an award-winning PhD at Christian Albrechts Universität zu Kiel, Prof. Fränzle has had roles as a researcher, associate professor, and guest professor at institutions such as the Chinese Academy of Sciences, the University of Oxford, and the Technical University of Denmark. In 2002 he was appointed a professor at Carl von Ossietzky Universität Oldenburg where he leads the Cyber-Physical Systems research group.Prof. Fränzle s expertise is in modelling, verification, and synthesis of reactive, real-time, and hybrid dynamics in embedded and cyber-physical systems. Among specific topics, he has worked on the semantics of high-level modelling and specification languages and on decision problems and their application to verifying and synthesizing real-time and hybrid discrete-continuous systems. He has led major national and international interdisciplinary projects, in both foundational and applied research, recent domains include critical systems engineering for sociotechnical systems and the safety impacts for maritime and road transportation. He has published conference papers and journal articles with over 200 researchers, collaborating with both academics and industry engineers and scientists, and his impact and achievements are reflected in the contributions in this volume.…

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 328 | Sprache: Englisch | Produktart: Bücher | This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic of the summer school was devoted to modeling and verification of cyber-physical systems. This covers several aspects of the field, including hybrid systems and model checking, as well as applications in robotics and aerospace systems.The main chapters have been written by leading scientists, who present their field of research, each providing references to introductory material as well as latest scientific advances and future research directions. This is complemented by short papers submitted by the participating PhD students.…

Taschenbuch. Zustand: Neu. Design and Verification of Cyber-Physical Systems: From Theory to Applications | Essays Dedicated to Martin Fränzle on the Occasion of His 60th Birthday | Andreas Rauh (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiii | Englisch | 2026 | Springer | EAN 9783032168573 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…