CPSWEEK

Simulation plays a considerable role in validating Cyber-Physical Systems (CPSs) as it substantially reduces the costs and risks in the design-testing cycles. Reliable simulations, however, mandate realistic modeling for both the cyber and the physical ...

Self-driving cars are announced to be available at the end of this decade. For testing these highly complex systems, experiments on proving grounds and long-term validations on public roads need to be complemented by extensive tests in virtual ...

Digital control systems, in which the computational part is distributed over multiple resources are called networked control systems (NCS). Because such systems are often limited in resource usage, a reduction of computing and communication capacities ...

We describe a Platform-as-a-Service (PaaS) system for performing multi-customer information acquisition missions on unmanned vehicle swarms operated and maintained by a third party. Customers implement their missions completely unaware of each other and ...

Drive-by-wire technology has been gradually adopted by the car companies in recent years to integrate active assistance systems in vehicles to increase comfort and safety. As an alternative to the wired case, we investigate the so-called drive-by-...

Traditionally, underwater localization and time-synchronization are performed separately. This, however, requires two-way ranging between nodes to determine propagation delays resulting in high power consumption and communication overhead. One-way ...

In this paper, we propose a framework for modelling and control of cyber-physical systems. This framework is derived from complexity science, where complex systems have a large number of components with significant interaction. Moreover, the interaction ...

This paper describes the development of an upper-division course introducing undergraduates to the fundamentals of cyber-physical systems. A cyber-physical system (CPS), a term coined by Dr. Helen Gill at the U.S. National Science Foundation, is a ...

Model-Driven Software Engineering (MDSE) is a promising approach for the development of applications, and has been well adopted in the embedded applications domain in recent years. Wireless Sensor Actuator Networks consisting of resource constrained ...

The reachability problem for a nonlinear hybrid automaton is often decomposed into steps where continuous successors are computed, and steps where discrete transitions and reset maps are processed. In this paper, we will show one method which can reduce ...

Cyber-Physical Systems (CPS) are increasingly utilizing advances in wireless mesh networking among computing nodes to facilitate communication and control for distributed applications. Factors such as interference or node mobility cause such wireless ...

In this paper, we present a model-based design and analysis of prototype laboratory equipment used for growing bacteria under precisely controlled conditions for systems biology experiments. Continuous-culture bioreactors grow microorganisms ...

This paper describes current work on framing the model predictive control (MPC) of cyber-physical systems as synthesis from signal temporal logic (STL) specifications. We provide a case study using a simplified power grid model with uncertain demand and ...

Modeling the heterogeneous composition of physical, computational and communication systems is an important challenge in engineering Cyber-Physical Systems (CPS), where the major sources of heterogeneity are causality, time semantics, and different ...