Control Theory: A Mathematical Perspective on Cyber-Physical Systems

Control theory is an interdisciplinary field that is located at the crossroads of pure and applied mathematics with systems engineering and the sciences. Recently the control field is facing new challenges motivated by application domains that involve networks of systems. Examples are interacting robots, networks of autonomous cars or the smart grid. In order to address the new challenges posed by these application disciplines, the special focus of this workshop has been on the currently very active field of Cyber-Physical Systems, which forms the underlying basis for many network control applications. A series of lectures in this workshop was devoted to give an overview on current theoretical developments in Cyber-Physical Systems, emphasizing in particular the mathematical aspects of the field. Special focus was on the dynamics and control of networks of systems, distributed optimization and formation control, fundamentals of nonlinear interconnected systems, as well as open problems in control

Dagstuhl News January - December 2011

"Dagstuhl News" is a publication edited especially for the members of the Foundation "Informatikzentrum Schloss Dagstuhl" to thank them for their support. The News give a summary of the scientific work being done in Dagstuhl. Each Dagstuhl Seminar is presented by a small abstract describing the contents and scientific highlights of the seminar as well as the perspectives or challenges of the research topic

Supporting Diabetes Self-Management with Ubiquitous Computing Technologies: A User-Centered Inquiry

Ubiquitous computing technologies offer opportunities to improve treatments for chronic health conditions. Type 1 diabetes is a compelling use-case for such approaches, given its severity, and need for individuals to make frequent care decisions, informed by complex data. However, current apps, typically based on effortful reflection on collected data, generally show poor adoption, lack vital cognitive and emotional support, and are poorly tailored to users’ actual diabetes decision making processes. This thesis investigates how diabetes apps can be improved from a user-centered perspective. An initial questionnaire-based study investigated how well existing diabetes apps meet user needs. Perceived benefits, limitations, and reasons for low adoption rates were identified. A talk-aloud study of detailed user interactions with diabetes logging apps was conducted to characterize the benefits and limitations of diverse UI elements for T1 diabetes management, and to more precisely identify wider problems with current interaction designs. This led to positing a refined version of Mamykina et al.’s model for diabetes self-management, to account for observed practices, whereby the previously accepted habitual and sensemaking cognitive states are augmented by a posited ‘fluid contextual reasoning’ (FCR) mode, which allows multiple contextual factors to be balanced for dynamic course correction when navigating complex situations, using previously learned knowledge. To investigate user perceptions of the levels and kinds of monitoring anticipated in next generation diabetes decision support systems, a 4-week technology probe, in which participants used multiple networked devices and external data aggregation, was used to frame requirements for user-centered development of such future systems. Integrating all of the above work, an iterative design process was undertaken to create DUETS, a card-based system to facilitate reflection by designers, users, and other stakeholders on diabetes support management systems. The resulting tool and method were then implemented and evaluated through structured sessions with stakeholder focus groups

Embedded System Design

A unique feature of this open access textbook is to provide a comprehensive introduction to the fundamental knowledge in embedded systems, with applications in cyber-physical systems and the Internet of things. It starts with an introduction to the field and a survey of specification models and languages for embedded and cyber-physical systems. It provides a brief overview of hardware devices used for such systems and presents the essentials of system software for embedded systems, including real-time operating systems. The author also discusses evaluation and validation techniques for embedded systems and provides an overview of techniques for mapping applications to execution platforms, including multi-core platforms. Embedded systems have to operate under tight constraints and, hence, the book also contains a selected set of optimization techniques, including software optimization techniques. The book closes with a brief survey on testing. This fourth edition has been updated and revised to reflect new trends and technologies, such as the importance of cyber-physical systems (CPS) and the Internet of things (IoT), the evolution of single-core processors to multi-core processors, and the increased importance of energy efficiency and thermal issues

Modeling and Simulation Methodologies for Digital Twin in Industry 4.0

The concept of Industry 4.0 represents an innovative vision of what will be the factory of the future. The principles of this new paradigm are based on interoperability and data exchange between dierent industrial equipment. In this context, Cyber- Physical Systems (CPSs) cover one of the main roles in this revolution. The combination of models and the integration of real data coming from the field allows to obtain the virtual copy of the real plant, also called Digital Twin. The entire factory can be seen as a set of CPSs and the resulting system is also called Cyber-Physical Production System (CPPS). This CPPS represents the Digital Twin of the factory with which it would be possible analyze the real factory. The interoperability between the real industrial equipment and the Digital Twin allows to make predictions concerning the quality of the products. More in details, these analyses are related to the variability of production quality, prediction of the maintenance cycle, the accurate estimation of energy consumption and other extra-functional properties of the system. Several tools [2] allow to model a production line, considering dierent aspects of the factory (i.e. geometrical properties, the information flows etc.) However, these simulators do not provide natively any solution for the design integration of CPSs, making impossible to have precise analysis concerning the real factory. Furthermore, for the best of our knowledge, there are no solution regarding a clear integration of data coming from real equipment into CPS models that composes the entire production line. In this context, the goal of this thesis aims to define an unified methodology to design and simulate the Digital Twin of a plant, integrating data coming from real equipment. In detail, the presented methodologies focus mainly on: integration of heterogeneous models in production line simulators; Integration of heterogeneous models with ad-hoc simulation strategies; Multi-level simulation approach of CPS and integration of real data coming from sensors into models. All the presented contributions produce an environment that allows to perform simulation of the plant based not only on synthetic data, but also on real data coming from equipments

The Information Society: Technological, socio-economic and cultural aspects - Prolegomena for a sustainability-oriented ethics of ICTs.

This thesis studies the enabling properties of ICT and their effects and potential for social change, and prepares the ground for a sustainability-oriented ethico-political assessment of this technology. It primarily builds on interdisciplinary scholarship to describe and explain the multifaceted co-evolution between the global deployment of ICTs and the emergence of the Information Society, understood as a socioeconomic restructuring of capitalism. Beyond the role of ICTs in this regime transition, the thesis delivers other philosophical insights about crucial aspects of ICT development, applications and management. These include arguments about how we should conceptualize ICTs on the basis of their different roles in extending human communication and in performing or facilitating the remote control of humans and animals, machines and systems operations; about the entanglement between telecommunications, transport networks, urban development and work and organization; and about the relations between ICTs, culture and human values. Examples are offered to illustrate the potential that these empirical and philosophical lessons may hold for the construction of a framework for the ethico-political assessment of ICTs

Embedded System Design

A unique feature of this open access textbook is to provide a comprehensive introduction to the fundamental knowledge in embedded systems, with applications in cyber-physical systems and the Internet of things. It starts with an introduction to the field and a survey of specification models and languages for embedded and cyber-physical systems. It provides a brief overview of hardware devices used for such systems and presents the essentials of system software for embedded systems, including real-time operating systems. The author also discusses evaluation and validation techniques for embedded systems and provides an overview of techniques for mapping applications to execution platforms, including multi-core platforms. Embedded systems have to operate under tight constraints and, hence, the book also contains a selected set of optimization techniques, including software optimization techniques. The book closes with a brief survey on testing. This fourth edition has been updated and revised to reflect new trends and technologies, such as the importance of cyber-physical systems (CPS) and the Internet of things (IoT), the evolution of single-core processors to multi-core processors, and the increased importance of energy efficiency and thermal issues

Towards Our Common Digital Future. Flagship Report.

In the report “Towards Our Common Digital Future”, the WBGU makes it clear that sustainability strategies and concepts need to be fundamentally further developed in the age of digitalization. Only if digital change and the Transformation towards Sustainability are synchronized can we succeed in advancing climate and Earth-system protection and in making social progress in human development. Without formative political action, digital change will further accelerate resource and energy consumption, and exacerbate damage to the environment and the climate. It is therefore an urgent political task to create the conditions needed to place digitalization at the service of sustainable development