High-definition (HD) maps are one of the key technologies supporting autonomous-driving vehicles (ADVs). Especially in urban scenarios, the field of view of sensors is often limited, and HD map provides critical information about upcoming road …
Many state-of-the-art autonomous driving systems require prior knowledge in the form of high definition map data, which provide information about the road and its environment. These data can be erroneous or outdated due to the frequency of updates …
Self-driving cars typically depend on high-definition (HD) maps for computing a driving strategy at areas inside and outside their field of view. Data in HD maps, however, can be outdated and erroneous. It is therefore of critical importance to …
This paper proposes a simplified hybrid model of a freight train equipped with an air brake. The control of such a system and the enforcement of numerous safety constraints constitute a relevant benchmark to evaluate tools for proving safety …
This dissertation considers data centers as CPSs, with a focus on run-time management and operating costs. The proposed modeling framework explicitly captures the cyber- physical nature of data centers and allows the development of models that …
This paper presents data centers from a _cyber-physical system_ (CPS) perspective. Current methods for controlling information technology (IT) and cooling technology (CT) in data centers are classified according to the degree to which they take into …
This chapter discusses the challenges and the possibilities offered by controlling a data center as a node of the _smart-grid_. The communication between the grid and the data center takes the form of a time-varying and power-consumption-dependent …
This paper discusses the challenges and the possibilities offered by controlling a data center as a node of the smart-grid. Communication between the grid and a data center takes the form of a time-varying and power-consumption-dependent electricity …
This paper concerns the management of energy in data centers using a cyber-physical model that supports the coordinated control of both computational and thermal (cooling) resources. On the basis of the structure of the proposed model and practical …
This paper concerns the power minimization problem in server farms. The power minimization problem over dynamic power allocation schemes is formally defined and formulated as an optimization problem. It is shown that finding the optimal solution for …