no code implementations • 27 Mar 2024 • Wei Huo, Xiaomeng Chen, Lingying Huang, Karl Henrik Johansson, Ling Shi
This paper investigates privacy issues in distributed resource allocation over directed networks, where each agent holds a private cost function and optimizes its decision subject to a global coupling constraint through local interaction with other agents.
no code implementations • 23 Mar 2024 • Aneesh Raghavan, Karl Henrik Johansson
A given region in 2-D Euclidean space is divided by a unknown linear classifier in to two sets each carrying a label.
no code implementations • 12 Mar 2024 • Aneesh Raghavan, Karl Henrik Johansson
We consider the problem of estimation of a function by a system consisting of two agents and a fusion center.
no code implementations • 5 Jan 2024 • Aneesh Raghavan, Karl Henrik Johansson
We consider the problem of function estimation by a multi-agent system comprising of two agents and a fusion center.
no code implementations • 29 Nov 2023 • Peihu Duan, Tao Liu, Yu Xing, Karl Henrik Johansson
A novel data-driven Kalman filter (DDKF) that combines model identification with state estimation is developed using pre-collected input-output data and uncertain initial state information of the unknown system.
1 code implementation • 12 Nov 2023 • Ting Bai, Yuchao Li, Karl Henrik Johansson, Jonas Mårtensson
Electric trucks usually need to charge their batteries during long-range delivery missions, and the charging times are often nontrivial.
no code implementations • 11 Nov 2023 • Alexander Johansson, Ehsan Nekouei, Xiaotong Sun, Karl Henrik Johansson, Jonas Mårtensson
We first show that the optimal release policy in the decentralized case, where the hubs do not exchange information, is to release all trucks at the hub when the number of trucks exceeds a threshold computed by dynamic programming.
no code implementations • 9 Nov 2023 • Amir Mohammad Karimi Mamaghan, Andrea Dittadi, Stefan Bauer, Karl Henrik Johansson, Francesco Quinzan
Causal reasoning can be considered a cornerstone of intelligent systems.
no code implementations • 20 Sep 2023 • Angela Fontan, Mahsa Farjadnia, Joe Llewellyn, Cecilia Katzeff, Marco Molinari, Vladimir Cvetkovic, Karl Henrik Johansson
Every day we face numerous lifestyle decisions, some dictated by habits and some more conscious, which may or may not promote sustainable living.
no code implementations • 21 Jul 2023 • Ting Bai, Alexander Johansson, Karl Henrik Johansson, Jonas Mårtensson
This paper presents a distributed framework for addressing multi-fleet platoon coordination in large transportation networks, where each truck has a fixed route and aims to maximize its own fleet's platooning profit by scheduling its waiting times at hubs.
no code implementations • 16 Jul 2023 • Mahsa Farjadnia, Angela Fontan, Alessio Russo, Karl Henrik Johansson, Marco Molinari
Window-opening and window-closing behaviors play an important role in indoor environmental conditions and therefore have an impact on building energy efficiency.
no code implementations • 20 Apr 2023 • Wei Huo, Kam Fai Elvis Tsang, Yamin Yan, Karl Henrik Johansson, Ling Shi
In this paper, we study the problem of consensus-based distributed Nash equilibrium (NE) seeking where a network of players, abstracted as a directed graph, aim to minimize their own local cost functions non-cooperatively.
no code implementations • 18 Apr 2023 • John Cao, Muhammad Umar B. Niazi, Matthieu Barreau, Karl Henrik Johansson
The proposed sensor fault detection and isolation (s-FDI) method applies to a general class of nonlinear systems.
no code implementations • 13 Jan 2023 • Yu Xing, Karl Henrik Johansson
Leveraging matrix perturbation results, we show how such concentration can help study the effect of network structure on the expected final opinions in two cases: (i) When the influence of stubborn agents is large, the expected final opinions polarize and are close to stubborn agents' opinions.
no code implementations • 13 Dec 2022 • Shuang Wu, Xiaoqiang Ren, Qing-Shan Jia, Karl Henrik Johansson, Ling Shi
To alleviate the challenge, we reformulate the problem as a variant of the restless multi-armed bandit (RMAB) problem and leverage Whittle's index theory to design an index-based scheduling policy algorithm.
1 code implementation • 15 Nov 2022 • Muhammad Umar B. Niazi, Amr Alanwar, Michelle S. Chong, Karl Henrik Johansson
This paper considers the problem of set-based state estimation for linear time-invariant (LTI) systems under time-varying sensor attacks.
1 code implementation • 10 Nov 2022 • Mahsa Farjadnia, Amr Alanwar, Muhammad Umar B. Niazi, Marco Molinari, Karl Henrik Johansson
By using the past noisy input-output data in the learning phase, we propose a novel method to over-approximate reachable sets of an unknown nonlinear system.
no code implementations • 2 Nov 2022 • Miel Sharf, Bart Besselink, Karl Henrik Johansson
Contract theory has been proposed as a modular alternative to formal methods in control, in which specifications are defined by assumptions on the input to a component and guarantees on its output.
no code implementations • 9 Oct 2022 • YuAn Wang, Sebin Gracy, César A. Uribe, Hideaki Ishii, Karl Henrik Johansson
The upshot of devising such a strategy is that it allows health administration officials to ensure that there is sufficient capacity in the healthcare system to treat the most severe cases.
1 code implementation • 4 Oct 2022 • Muhammad Umar B. Niazi, John Cao, Xudong Sun, Amritam Das, Karl Henrik Johansson
Designing Luenberger observers for nonlinear systems involves the challenging task of transforming the state to an alternate coordinate system, possibly of higher dimensions, where the system is asymptotically stable and linear up to output injection.
no code implementations • 19 Aug 2022 • Ting Bai, Alexander Johansson, Karl Henrik Johansson, Jonas Mårtensson
In our problem, trucks have fixed routes in a transportation network and can wait at hubs along their routes to form platoons with others while fulfilling the driving and rest time constraints.
no code implementations • 23 Jul 2022 • Sebin Gracy, Philip E. Paré, Ji Liu, Henrik Sandberg, Carolyn L. Beck, Karl Henrik Johansson, Tamer Başar
We establish a sufficient condition and multiple necessary conditions for local exponential convergence to the boundary equilibrium (i. e., one virus persists, the other one dies out) of each virus.
no code implementations • 18 Feb 2022 • Ting Bai, Alexander Johansson, Karl Henrik Johansson, Jonas Mårtensson
This paper considers the problem of hub-based platoon coordination for a large-scale transport system, where trucks have individual utility functions to optimize.
no code implementations • 17 Feb 2022 • Alexander Johansson, Ehsan Nekouei, Karl Henrik Johansson, Jonas Mårtensson
At a Nash equilibrium, vehicles with the same departure time are matched to form a platoon.
no code implementations • 1 Nov 2021 • Miel Sharf, Bart Besselink, Karl Henrik Johansson
We present a comparison-based framework, verifying that a perturbed system satisfies a contract by checking that the corresponding unperturbed system satisfies a robustified (and $\epsilon$-approximated) contract.
1 code implementation • 5 Aug 2021 • Joakim Björk, Daniel Vázquez Pombo, Karl Henrik Johansson
It is shown that the NMP model is useful for designing a controller that coordinates FFR from wind with slow FCR from hydro turbines.
1 code implementation • 7 Jul 2021 • Joakim Björk, Karl Henrik Johansson, Florian Dörfler
To ensure frequency stability in future low-inertia power grids, fast ancillary services such as fast frequency reserves (FFR) have been proposed.
no code implementations • 30 Jun 2021 • Yu Xing, Benjamin Gravell, Xingkang He, Karl Henrik Johansson, Tyler Summers
An algorithm based on the least-squares method and multiple-trajectory data is proposed for joint estimation of the nominal system matrices and the covariance matrix of the multiplicative noise.
no code implementations • 31 May 2021 • YuAn Wang, Sebin Gracy, Hideaki Ishii, Karl Henrik Johansson
This paper considers the susceptible-infected-susceptible (SIS) epidemic model with an underlying network structure among subpopulations and focuses on the effect of social distancing to regulate the epidemic level.
1 code implementation • 15 May 2021 • Amr Alanwar, Anne Koch, Frank Allgöwer, Karl Henrik Johansson
We consider the problem of computing reachable sets directly from noisy data without a given system model.
no code implementations • 1 Apr 2021 • Alexander Johansson, Ehsan Nekouei, Karl Henrik Johansson, Jonas Mårtensson
We show that the platoon coordination game is a potential game when the travel times are either deterministic or stochastic, and the vehicles decide on their waiting times at the beginning of their journeys.
1 code implementation • 25 Mar 2021 • Amr Alanwar, Yvonne Stürz, Karl Henrik Johansson
Instead of depending on a system model in traditional predictive control, a controller utilizing data-driven reachable regions is proposed.
no code implementations • 25 Mar 2021 • Miel Sharf, Bart Besselink, Karl Henrik Johansson
Verifying specifications for large-scale modern engineering systems can be a time-consuming task, as most formal verification methods are limited to systems of modest size.
no code implementations • 9 Mar 2021 • Elif Uysal, Onur Kaya, Anthony Ephremides, James Gross, Marian Codreanu, Petar Popovski, Mohamad Assaad, Gianluigi Liva, Andrea Munari, Touraj Soleymani, Beatriz Soret, Karl Henrik Johansson
We present our vision for a departure from the established way of architecting and assessing communication networks, by incorporating the semantics of information for communications and control in networked systems.
no code implementations • 2 Mar 2021 • Vandana Narri, Amr Alanwar, Jonas Mårtensson, Christoffer Norén, Laura Dal Col, Karl Henrik Johansson
Depending on the ego-vehicle's ability to fuse information from sensors in other vehicles or in the infrastructure, shared situational awareness is developed using a set-based estimation technique that provides robust guarantees for the location of the pedestrian.
1 code implementation • 26 Jan 2021 • Amr Alanwar, Alexander Berndt, Karl Henrik Johansson, Henrik Sandberg
We propose a method to perform set-based state estimation of an unknown dynamical linear system using a data-driven set propagation function.
no code implementations • 23 Dec 2020 • Miel Sharf, Bart Besselink, Adam Molin, Qiming Zhao, Karl Henrik Johansson
Modern engineering systems include many components of different types and functions.
no code implementations • 23 Nov 2020 • Sina Molavipour, Germán Bassi, Mladen Čičić, Mikael Skoglund, Karl Henrik Johansson
In an intelligent transportation system, the effects and relations of traffic flow at different points in a network are valuable features which can be exploited for control system design and traffic forecasting.
1 code implementation • 17 Nov 2020 • Amr Alanwar, Anne Koch, Frank Allgöwer, Karl Henrik Johansson
In this paper, we propose a data-driven reachability analysis approach for unknown system dynamics.
no code implementations • 11 Nov 2020 • Martin Lindström, Hampei Sasahara, Xingkang He, Henrik Sandberg, Karl Henrik Johansson
We study the worst-case attack strategy of a power injection attack against the physical layer of a smart distribution grid with a high penetration of photovoltaic resources.
no code implementations • 19 Oct 2020 • Joakim Björk, Karl Henrik Johansson
A decentralized stability criterion is derived for a power system with heterogeneous subsystems.
1 code implementation • 19 Oct 2020 • Amr Alanwar, Victor Gassmann, Xingkang He, Hazem Said, Henrik Sandberg, Karl Henrik Johansson, Matthias Althoff
The set-based estimation has gained a lot of attention due to its ability to guarantee state enclosures for safety-critical systems.
Cryptography and Security Robotics
no code implementations • 6 Oct 2020 • Mladen Cicic, Matthieu Barreau, Karl Henrik Johansson
The aim is to show the effect of the state reconstruction on the efficiency of the control, compared to the case using full information about the traffic.
Optimization and Control
no code implementations • L4DC 2020 • Yuchao Li, Karl Henrik Johansson, Jonas Mårtensson
The operator is known to be well-posed for problems with finite states, but our analysis shows that it is also well-defined for the contractive models with infinite states studied.
no code implementations • 16 May 2020 • Wanchun Liu, Daniel E. Quevedo, Yonghui Li, Karl Henrik Johansson, Branka Vucetic
A smart sensor forwards its local state estimate to a remote estimator over a time-correlated $M$-state Markov fading channel, where the packet drop probability is time-varying and depends on the current fading channel state.
2 code implementations • 23 Mar 2020 • Amr Alanwar, Jagat Jyoti Rath, Hazem Said, Karl Henrik Johansson, Matthias Althoff
Both algorithms utilize a set-based diffusion step, which decreases the estimation errors and the size of estimated sets, and can be seen as a lightweight approach to achieve partial consensus between the distributed estimated sets.
1 code implementation • 16 Feb 2020 • Yu Xing, Ben Gravell, Xingkang He, Karl Henrik Johansson, Tyler Summers
The study of multiplicative noise models has a long history in control theory but is re-emerging in the context of complex networked systems and systems with learning-based control.
no code implementations • 8 Nov 2019 • Joakim Björk, Danilo Obradović, Lennart Harnefors, Karl Henrik Johansson
Using a two-machine power system model, it is shown that improved damping of inter-area oscillations must come at the cost of reduced transient stability margins, regardless of the control design method.
no code implementations • 29 Jun 2019 • Xingkang He, Karl Henrik Johansson, Haitao Fang
We study distributed filtering for a class of uncertain systems over corrupted communication channels.
no code implementations • 9 Apr 2019 • Song Fang, Mikael Skoglund, Karl Henrik Johansson, Hideaki Ishii, Quanyan Zhu
In this paper, we obtain generic bounds on the variances of estimation and prediction errors in time series analysis via an information-theoretic approach.