Category
Automated planning and scheduling
Related publications (493)
Quality-Constrained Encoding Optimization for Omnidirectional Video Streaming
Pascal Frossard, Roberto Gerson De Albuquerque Azevedo, Chaofan He
Omnidirectional video streaming is usually implemented based on the representations of tiles, where the tiles are obtained by splitting the video frame into several rectangular areas and each tile is converted into multiple representations with different r ...
Piscataway2023Studies on EU-DEMO 3D coils requirements and conceptual design for error field correction and plasma control
Pierluigi Bruzzone, Hartmut Zohm, Leonardo Pigatto
This work presents the initial studies on the requirements for the design of 3D coils on EU-DEMO. The use of 3D coils in present machines includes two main purposes: the first one is the Error Field Correction (EFC). The EFC aims at minimizing the intrinsi ...
Lausanne2023Model Predictive Control for Multi-Agent Systems under Limited Communication and Time-Varying Network Topology
Danilo Saccani, Melanie Nicole Zeilinger
In control system networks, reconfiguration of the controller when agents are leaving or joining the network is still an open challenge, in particular when operation constraints that depend on each agent's behavior must be met. Drawing our motivation from ...
New York2023Homothetic Tube Model Predictive Control With Multi-Step Predictors
Giancarlo Ferrari Trecate, Danilo Saccani, Melanie Nicole Zeilinger
We present a robust model predictive control (MPC) framework for linear systems facing bounded parametric uncertainty and bounded disturbances. Our approach deviates from standard MPC formulations by integrating multi-step predictors, which provide reduced ...
Piscataway2023When is it safe to run a transactional workload under Read Committed?
The popular isolation level multiversion Read Committed (RC) exchanges some of the strong guarantees of serializability for increased transaction throughput. Nevertheless, transaction workloads can sometimes be executed under RC while still guaranteeing se ...
ASSOC COMPUTING MACHINERY2023Optimized control strategy for single-phase multilevel cascaded converter in a distributed PV-BESS system
The paper focuses on the energy management of a single-phase PV-BESS hybrid distributed system sized for residential applications, using a CHB converter topology as grid interface. The CHB is driven with a hierarchical energy management architecture, with ...
ELSEVIER SCIENCE SA2023The Complexity of Satisfiability Checking for Symbolic Finite Automata
We study the satisfiability problem of symbolic finite automata and decompose it into the satisfiability problem of the theory of the input characters and the monadic second-order theory of the indices of accepted words. We use our decomposition to obtain ...
2023Data-Driven Control and Optimization under Noisy and Uncertain Conditions
Control systems operating in real-world environments often face disturbances arising from measurement noise and model mismatch. These factors can significantly impact the perfor- mance and safety of the system. In this thesis, we aim to leverage data to de ...
EPFL2023A semi-supervised algorithm for improving the consistency of crowdsourced datasets: The COVID-19 case study on respiratory disorder classification
David Atienza Alonso, Tomas Teijeiro Campo, Lara Orlandic
Background and Objective: Cough audio signal classification is a potentially useful tool in screening for respiratory disorders, such as COVID-19. Since it is dangerous to collect data from patients with contagious diseases, many research teams have turned ...
2023The Complexity of Checking Non-Emptiness in Symbolic Tree Automata
We study the satisfiability problem of symbolic tree automata and decompose it into the satisfiability problem of the existential first-order theory of the input characters and the existential monadic second-order theory of the indices of the accepted word ...
2023