The automobile is going through the biggest transformation in its history. Automation and electrification of vehicles are expected to enable safer and cleaner mobility. The prospects and requirements of the future automobile affect innovations in major technology fields like driver assistance systems, vehicle networking and drivetrain development. Smart systems such as adaptive ICT components a…
The International Conference on Systems Science 2013 (ICSS 2013) was the 18th event of the series of international scientific conferences for researchers and practitioners in the fields of systems science and systems engineering. The conference took place in Wroclaw, Poland during September 10-12, 2013 and was organized by Wroclaw University of Technology and co-organized by: Committee of Auto…
The rapid evolution of computer science, communication, and information technology has enabled the application of control techniques to systems beyond the possibilities of control theory just a decade ago. Critical infrastructures such as electricity, water, traffic and intermodal transport networks are now in the scope of control engineers. The sheer size of such large-scale systems requires t…
How could privacy play a key role in protecting digital identities? How could we merge privacy law, policies, regulations and technologies to protect our digital identities in the context of connected devices and distributed systems? In this book, the author addresses major issues of identity protection and proposes a service-oriented layered framework to achieve interoperability of privacy and…
The underlying principles invented and developed by Dr. Genichi Taguchi (1924 - 2012), for the design of experiments or simulation calculations in multi-parameter systems, are today known as Taguchi Method. Due to the great success, it was extended to many other areas. The book explains the basics of this method in as much detail as necessary and as simply and graphically as possible. The au…
This book presents the state-of-the-art and breakthrough innovations in design automation for cyber-physical systems.The authors discuss various aspects of cyber-physical systems design, including modeling, co-design, optimization, tools, formal methods, validation, verification, and case studies. Coverage includes a survey of the various existing cyber-physical systems functional design method…
This book introduces a stability and control methodology named AeroMech, capable of sizing the primary control effectors of fixed wing subsonic to hypersonic designs of conventional and unconventional configuration layout. Control power demands are harmonized with static-, dynamic-, and maneuver stability requirements, while taking the six-degree-of-freedom trim state into account. The stabilit…
This book presents a collection of automated methods that are useful for different aspects of fault analysis in cryptography. The first part focuses on automated analysis of symmetric cipher design specifications, software implementations, and hardware circuits. The second part provides automated deployment of countermeasures. The third part provides automated evaluation of countermeasures agai…
This proceedings provides novel concepts and techniques for air traffic management (ATM) and communications, navigation, and surveillance (CNS) systems. The volume consists of selected papers from the 5th ENRI International Workshop on ATM/CNS (EIWAC2017) held in Tokyo in November 2017, the theme of which was “Drafting Future Skies”. Included are key topics to realize safer and more effici…