-
Decision-Focused Learning for Complex System Identification: HVAC Management System Application
Authors:
Pietro Favaro,
Jean-François Toubeau,
François Vallée,
Yury Dvorkin
Abstract:
As opposed to conventional training methods tailored to minimize a given statistical metric or task-agnostic loss (e.g., mean squared error), Decision-Focused Learning (DFL) trains machine learning models for optimal performance in downstream decision-making tools. We argue that DFL can be leveraged to learn the parameters of system dynamics, expressed as constraint of the convex optimization cont…
▽ More
As opposed to conventional training methods tailored to minimize a given statistical metric or task-agnostic loss (e.g., mean squared error), Decision-Focused Learning (DFL) trains machine learning models for optimal performance in downstream decision-making tools. We argue that DFL can be leveraged to learn the parameters of system dynamics, expressed as constraint of the convex optimization control policy, while the system control signal is being optimized, thus creating an end-to-end learning framework. This is particularly relevant for systems in which behavior changes once the control policy is applied, hence rendering historical data less applicable. The proposed approach can perform system identification - i.e., determine appropriate parameters for the system analytical model - and control simultaneously to ensure that the model's accuracy is focused on areas most relevant to control. Furthermore, because black-box systems are non-differentiable, we design a loss function that requires solely to measure the system response. We propose pre-training on historical data and constraint relaxation to stabilize the DFL and deal with potential infeasibilities in learning. We demonstrate the usefulness of the method on a building Heating, Ventilation, and Air Conditioning day-ahead management system for a realistic 15-zone building located in Denver, US. The results show that the conventional RC building model, with the parameters obtained from historical data using supervised learning, underestimates HVAC electrical power consumption. For our case study, the ex-post cost is on average six times higher than the expected one. Meanwhile, the same RC model with parameters obtained via DFL underestimates the ex-post cost only by 3%.
△ Less
Submitted 24 January, 2025;
originally announced January 2025.
-
A New Cooperative Framework for a Fair and Cost-Optimal Allocation of Resources within a Low Voltage Electricity Community
Authors:
Martin Hupez,
Jean-François Toubeau,
Zacharie De Grève,
François Vallée
Abstract:
This paper presents an original collaborative framework for power exchanges inside a low voltage community. The community seeks to minimize its total costs by scheduling on a daily basis the resources of its members. In this respect, their flexibility such as excess storage capacity, unused local generation or shiftable load are exploited. Total costs include not only the energy commodity, but als…
▽ More
This paper presents an original collaborative framework for power exchanges inside a low voltage community. The community seeks to minimize its total costs by scheduling on a daily basis the resources of its members. In this respect, their flexibility such as excess storage capacity, unused local generation or shiftable load are exploited. Total costs include not only the energy commodity, but also grid fees associated to the community operation, through the integration of power flow constraints. In order to share the community costs in a fair manner, two different cost distributions are proposed. The first one adopts a distribution key based on the Shapley value, while the other relies on a natural consensus defined by a Nash equilibrium. Outcomes show that both collaboration schemes lead to important savings for all individual members. In particular, it is observed that the Shapley-based solution gives more value to mobilized flexible resources, whereas the Nash equilibrium rewards the potential flexibility consent of end-users.
△ Less
Submitted 26 November, 2020; v1 submitted 12 October, 2020;
originally announced October 2020.
-
Facing ADAS validation complexity with usage oriented testing
Authors:
Laurent Raffaëlli,
Frédérique Vallée,
Guy Fayolle,
Philippe De Souza,
Xavier Rouah,
Matthieu Pfeiffer,
Stéphane Géronimi,
Frédéric Pétrot,
Samia Ahiad
Abstract:
Validating Advanced Driver Assistance Systems (ADAS) is a strategic issue, since such systems are becoming increasingly widespread in the automotive field. ADAS bring extra comfort to drivers, and this has become a selling point. But these functions, while useful, must not affect the general safety of the vehicle which is the manufacturer's responsibility. A significant number of current ADAS are…
▽ More
Validating Advanced Driver Assistance Systems (ADAS) is a strategic issue, since such systems are becoming increasingly widespread in the automotive field. ADAS bring extra comfort to drivers, and this has become a selling point. But these functions, while useful, must not affect the general safety of the vehicle which is the manufacturer's responsibility. A significant number of current ADAS are based on vision systems, and applications such as obstacle detection and detection of pedestrians have become essential components of functions such as automatic emergency braking. These systems that preserve and protect road users take on even more importance with the arrival of the new Euro NCAP protocols. Therefore the robustness and reliability of ADAS functions cannot be neglected and car manufacturers need to have tools to ensure that the ADAS functions running on their vehicles operate with the utmost safety. Furthermore, the complexity of these systems in conjunction with the nearly infinite number of parameter combinations related to the usage profile of functions based on image sensors push us to think about testing optimization methods and tool standards to support the design and validation phases of ADAS systems. The resources required for the validation using current methods make them actually less and less adapted to new active safety features, which induce very strong dependability requirements. Today, to test the camera-based ADAS, test vehicles are equipped with these systems and are performing long hours of driving that can last for years. These tests are used to validate the use of the function and to verify its response to the requirements described in the specifications without considering the functional safety standard ISO26262.
△ Less
Submitted 22 February, 2016;
originally announced July 2016.
-
Formal Safety and Security Assessment of an Avionic Architecture with Alloy
Authors:
Julien Brunel,
Laurent Rioux,
Stéphane Paul,
Anthony Faucogney,
Frédérique Vallée
Abstract:
We propose an approach based on Alloy to formally model and assess a system architecture with respect to safety and security requirements. We illustrate this approach by considering as a case study an avionic system developed by Thales, which provides guidance to aircraft. We show how to define in Alloy a metamodel of avionic architectures with a focus on failure propagations. We then express…
▽ More
We propose an approach based on Alloy to formally model and assess a system architecture with respect to safety and security requirements. We illustrate this approach by considering as a case study an avionic system developed by Thales, which provides guidance to aircraft. We show how to define in Alloy a metamodel of avionic architectures with a focus on failure propagations. We then express the specific architecture of the case study in Alloy. Finally, we express and check properties that refer to the robustness of the architecture to failures and attacks.
△ Less
Submitted 5 May, 2014;
originally announced May 2014.
