{"product_id":"design-and-verification-of-cyber-physical-systems-from-theory-to-applications-9783032168573","title":"Design and Verification of Cyber-Physical Systems: From Theory to Applications: Essays Dedicated to Martin Franzle on the Occasion of His 60th Birthday","description":"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.\u003cul\u003e\n\u003cli\u003e\n\u003cstrong\u003ePublication date:\u003c\/strong\u003e 12 May 2026\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003ePage count:\u003c\/strong\u003e 580\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eDimensions:\u003c\/strong\u003e Height 235 mm; Width 155 mm\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003ePublisher:\u003c\/strong\u003e Springer Nature Switzerland AG\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eFormat:\u003c\/strong\u003e Paperback\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eISBN-13:\u003c\/strong\u003e 9783032168573\u003c\/li\u003e\n\u003c\/ul\u003e","brand":"Springer Nature Switzerland AG","offers":[{"title":"Paperback","offer_id":50170302136570,"sku":"9783032168573","price":59.46,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0522\/4297\/2845\/files\/9783032168573.jpg?v=1787622626","url":"https:\/\/shulphink.com\/products\/design-and-verification-of-cyber-physical-systems-from-theory-to-applications-9783032168573","provider":"Shulph Ink","version":"1.0","type":"link"}