BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Karl Henrik Johansson

Karl Henrik Johansson contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
Systems and Controleess.SYmath.OCeess.SPInformation TheoryMachine Learningmath.APmath.DSmath.ITNetworking and Internet ArchitectureRobotics

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
19works
0followers
11topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

19 published item(s)

preprint2024arXiv

Distributed Learning and Function Fusion in Reproducing Kernel Hilbert Space

We consider the problem of function estimation by a multi-agent system comprising of two agents and a fusion center. Each agent receives data comprising of samples of an independent variable (input) and the corresponding values of the dependent variable (output). The data remains local and is not shared with other members in the system. The objective of the system is to collaboratively estimate the function from the input to the output. To this end, we develop an iterative distributed algorithm for this function estimation problem. Each agent solves a local estimation problem in a Reproducing Kernel Hilbert Space (RKHS) and uploads the function to the fusion center. At the fusion center, the functions are fused by first estimating the data points that would have generated the uploaded functions and then subsequently solving a least squares estimation problem using the estimated data from both functions. The fused function is downloaded by the agents and is subsequently used for estimation at the next iteration along with incoming data. This procedure is executed sequentially and stopped when the difference between consecutively estimated functions becomes small enough. To analyze the algorithm, we define learning operators for the agents, fusion center and the system. We study the asymptotic properties of the norm of the learning operators and find sufficient conditions under which they converge to $1$. Given a sequence of data points, we define and prove the existence of the learning operator for the system. We prove that the porposed learning algorithm is consistent and demonstrate the same using an example. The paper has been submitted to L4DC 2024.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

A Scalable Nyquist Stability Criterion with Application to Power System Small-Signal Stability

A decentralized stability criterion is derived for a power system with heterogeneous subsystems. A condition for frequency stability and stability of interarea modes is derived using the generalized Nyquist criterion. The resulting scalable Nyquist stability criterion requires only locally available information and gives a priori stability guarantees for connecting new subsystems to an arbitrarily large network. The method can be applied to a general set of agents. For instance, agents with time-delays, nonminimum phase actuators or even unstable dynamics. The scalable Nyquist criterion makes no distinction between nodes with or without synchronous inertia, making it easy to include converter-interfaced renewable energy in the analysis. The method is validated on a detailed nonlinear power system model with frequency droop provided by hydro governors assisted by wind power.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Approximate Dynamic Programming for Platoon Coordination under Hours-of-Service Regulations

Truck drivers are required to stop and rest with a certain regularity according to the driving and rest time regulations, also called Hours-of-Service (HoS) regulations. This paper studies the problem of optimally forming platoons when considering realistic HoS regulations. 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. We propose a distributed decision-making scheme where each truck controls its waiting times at hubs based on the predicted schedules of others. The decoupling of trucks' decision-makings contributes to an approximate dynamic programming approach for platoon coordination under HoS regulations. Finally, we perform a simulation over the Swedish road network with one thousand trucks to evaluate the achieved platooning benefits under the HoS regulations in the European Union (EU). The simulation results show that, on average, trucks drive in platoons for 37% of their routes if each truck is allowed to be delayed for 5% of its total travel time. If trucks are not allowed to be delayed, they drive in platoons for 12% of their routes.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Data-Driven Set-Based Estimation using Matrix Zonotopes with Set Containment Guarantees

We propose a method to perform set-based state estimation of an unknown dynamical linear system using a data-driven set propagation function. Our method comes with set-containment guarantees, making it applicable to safety-critical systems. The method consists of two phases: (1) an offline learning phase where we collect noisy input-output data to determine a function to propagate the state-set ahead in time; and (2) an online estimation phase consisting of a time update and a measurement update. It is assumed that known finite sets bound measurement noise and disturbances, but we assume no knowledge of their statistical properties. These sets are described using zonotopes, allowing efficient propagation and intersection operations. We propose a new approach to compute a set of models consistent with the data and noise-bound, given input-output data in the offline phase. The set of models is utilized in replacing the unknown dynamics in the data-driven set propagation function in the online phase. Then, we propose two approaches to perform the measurement update. Simulations show that the proposed estimator yields state sets comparable in volume to the 3σ confidence bounds obtained by a Kalman filter approach, but with the addition of state set-containment guarantees. We observe that using constrained zonotopes yields smaller sets but with higher computational costs than unconstrained ones.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Event-Triggered Distributed Model Predictive Control for Platoon Coordination at Hubs in a Transport System

This paper considers the problem of hub-based platoon coordination for a large-scale transport system, where trucks have individual utility functions to optimize. An event-triggered distributed model predictive control method is proposed to solve the optimal scheduling of waiting times at hubs for individual trucks. In this distributed framework, trucks are allowed to decide their waiting times independently and only limited information is shared between trucks. Both the predicted reward gained from platooning and the predicted cost for waiting at hubs are included in each truck's utility function. The performance of the coordination method is demonstrated in a simulation with one hundred trucks over the Swedish road network.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Identification of Linear Systems with Multiplicative Noise from Multiple Trajectory Data

The paper studies identification of linear systems with multiplicative noise from multiple-trajectory data. 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. The algorithm does not need prior knowledge of the noise or stability of the system, but requires only independent inputs with pre-designed first and second moments and relatively small trajectory length. The study of identifiability of the noise covariance matrix shows that there exists an equivalent class of matrices that generate the same second-moment dynamic of system states. It is demonstrated how to obtain the equivalent class based on estimates of the noise covariance. Asymptotic consistency of the algorithm is verified under sufficiently exciting inputs and system controllability conditions. Non-asymptotic performance of the algorithm is also analyzed under the assumption that the system is bounded. The analysis provides high-probability bounds vanishing as the number of trajectories grows to infinity. The results are illustrated by numerical simulations.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Multi-Fleet Platoon Matching: A Game-Theoretic Approach

We consider the platoon matching problem for a set of trucks with the same origin, but different destinations. It is assumed that the vehicles benefit from traveling in a platoon for instance through reduced fuel consumption. The vehicles belong to different fleet owners and their strategic interaction is modeled as a non-cooperative game where the vehicle actions are their departure times. Each truck has a preferred departure time and its utility function is defined as the difference between its benefit from platooning and the cost of deviating from its preferred departure time. We show that the platoon matching game is an exact potential game. An algorithm based on best response dynamics is proposed for finding a Nash equilibrium of the game. At a Nash equilibrium, vehicles with the same departure time are matched to form a platoon. Finally, the total fuel reduction at the Nash equilibrium is studied and compared with that of a cooperative matching solution where a common utility function for all vehicles is optimized.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Observer Design for the State Estimation of Epidemic Processes

Although an appropriate choice of measured state variables may ensure observability, designing state observers for the state estimation of epidemic models remains a challenging task. Epidemic spread is a nonlinear process, often modeled as the law of mass action, which is of a quadratic form; thus, on a compact domain, its Lipschitz constant turns out to be local and relatively large, which renders the Lipschitz-based design criteria of existing observer architectures infeasible. In this paper, a novel observer architecture is proposed for the state estimation of a class of nonlinear systems that encompasses the deterministic epidemic models. The proposed observer offers extra leverage to reduce the influence of nonlinearity in the estimation error dynamics, which is not possible in other Luenberger-like observers. Algebraic Riccati inequalities are derived as sufficient conditions for the asymptotic convergence of the estimation error to zero under local Lipschitz and generalized Lipschitz assumptions. Equivalent linear matrix inequality formulations of the algebraic Riccati inequalities are also provided. The efficacy of the proposed observer design is illustrated by its application on the celebrated SIDARTHE-V epidemic model.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Robust Data-Driven Predictive Control using Reachability Analysis

We present a robust data-driven control scheme for an unknown linear system model with bounded process and measurement noise. Instead of depending on a system model in traditional predictive control, a controller utilizing data-driven reachable regions is proposed. The data-driven reachable regions are based on a matrix zonotope recursion and are computed based on only noisy input-output data of a trajectory of the system. We assume that measurement and process noise are contained in bounded sets. While we assume knowledge of these bounds, no knowledge about the statistical properties of the noise is assumed. In the noise-free case, we prove that the presented purely data-driven control scheme results in an equivalent closed-loop behavior to a nominal model predictive control scheme. In the case of measurement and process noise, our proposed scheme guarantees robust constraint satisfaction, which is essential in safety-critical applications. Numerical experiments show the effectiveness of the proposed data-driven controller in comparison to model-based control schemes.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Semantic Communications in Networked Systems: A Data Significance Perspective

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. We define semantics of information, not as the meaning of the messages, but as their significance, possibly within a real time constraint, relative to the purpose of the data exchange. We argue that research efforts must focus on laying the theoretical foundations of a redesign of the entire process of information generation, transmission and usage in unison by developing: advanced semantic metrics for communications and control systems; an optimal sampling theory combining signal sparsity and semantics, for real-time prediction, reconstruction and control under communication constraints and delays; semantic compressed sensing techniques for decision making and inference directly in the compressed domain; semantic-aware data generation, channel coding, feedback, multiple and random access schemes that reduce the volume of data and the energy consumption, increasing the number of supportable devices.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Set-Membership Estimation in Shared Situational Awareness for Automated Vehicles in Occluded Scenarios

One of the main challenges in developing autonomous transport systems based on connected and automated vehicles is the comprehension and understanding of the environment around each vehicle. In many situations, the understanding is limited to the information gathered by the sensors mounted on the ego-vehicle, and it might be severely affected by occlusion caused by other vehicles or fixed obstacles along the road. Situational awareness is the ability to perceive and comprehend a traffic situation and to predict the intent of vehicles and road users in the surrounding of the ego-vehicle. The main objective of this paper is to propose a framework for how to automatically increase the situational awareness for an automatic bus in a realistic scenario when a pedestrian behind a parked truck might decide to walk across the road. 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. A two-level information fusion architecture is adopted, where sensor measurements are fused locally, and then the corresponding estimates are shared between vehicles and units in the infrastructure. Thanks to the provided safety guarantees, it is possible to appropriately adjust the ego-vehicle speed to maintain a proper safety margin. It is also argued that the framework is suitable for handling sensor failures and false detections in a systematic way. Three scenarios of growing information complexity are considered throughout the study. Simulations show how the increased situational awareness allows the ego-vehicle to maintain a reasonable speed without sacrificing safety.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Strategic Hub-Based Platoon Coordination under Uncertain Travel Times

We study the strategic interaction among vehicles in a non-cooperative platoon coordination game. Vehicles have predefined routes in a transportation network with a set of hubs where vehicles can wait for other vehicles to form platoons. Vehicles decide on their waiting times at hubs and the utility function of each vehicle includes both the benefit from platooning and the cost of waiting. 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. We also propose two feedback solutions for the coordination problem when the travel times are stochastic and vehicles are allowed to update their strategies along their routes. The solutions are evaluated in a simulation study over the Swedish road network. It is shown that uncertainty in travel times affects the total benefit of platooning drastically and the benefit from platooning in the system increases significantly when utilizing feedback solutions.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

An Optimal Linear Attack Strategy on Remote State Estimation

This work considers the problem of designing an attack strategy on remote state estimation under the condition of strict stealthiness and $ε$-stealthiness of the attack. An attacker is assumed to be able to launch a linear attack to modify sensor data. A metric based on Kullback-Leibler divergence is adopted to quantify the stealthiness of the attack. We propose a generalized linear attack based on past attack signals and the latest innovation. We prove that the proposed approach can obtain an attack that can cause more estimation performance loss than linear attack strategies recently studied in the literature. The result thus provides a bound on the tradeoff between available information and attack performance, which is useful in the development of mitigation strategies. Finally, some numerical examples are given to evaluate the performance of the proposed strategy.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Analysis of free recall dynamics of an abstract working memory model

This paper analyzes the free recall dynamics of a working memory model. Free recalling is the reactivation of a stored pattern in the memory in the absence of the pattern. Our free recall model is based on an abstract model of a modular neural network composed on $N$ modules, hypercolumns, each of which is a bundle of minicolumns. This paper considers a network of $N$ modules, each consisting of two minicolumns, over a complete graph topology. We analyze the free recall dynamics assuming a constant, and homogeneous coupling between the network modules. We obtain a sufficient condition for synchronization of network's minicolumns whose activities are positively correlated. Furthermore, for the synchronized network, the bifurcation analysis of one module is presented. This analysis gives a necessary condition for having a stable limit cycle as the attractor of each module. The latter implies recalling a stored pattern. Numerical results are provided to verify the theoretical analysis.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Coordinating Vehicle Platoons for Highway Bottleneck Decongestion and Throughput Improvement

Truck platooning is a technology that is expected to become widespread in the coming years. Apart from the numerous benefits that it brings, its potential effects on the overall traffic situation need to be studied further, especially at bottlenecks and ramps. Assuming we can control the platoons from the infrastructure, they can be used as controlled moving bottlenecks, actuating control actions on the rest of the traffic, and potentially improving the throughput of the whole system. In this paper, we use a multi-class cell transmission model to capture the interaction between truck platoons and background traffic, and propose a corresponding queuing model, which we use for control design. We use platoon speeds, and the number of lanes platoons occupy as control inputs, and design a control strategy for throughput improvement of a highway section with a bottleneck. By postponing and shaping the inflow to the bottleneck, we are able to avoid traffic breakdown and capacity drop, which significantly reduces the total time spent of all vehicles. We derived the estimated improvement in throughput that is achieved by applying the proposed control law, and then tested it in a simulation study and found that the median delay of all vehicles by 75.6% compared to the uncontrolled case. Notably, although they are slowed down while actuating control actions, platooned vehicles experience less delay compared to the case without control, since they avoid going through congestion at the bottleneck.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Dynamic Traffic Reconstruction using Probe Vehicles

This article deals with the observation problem in traffic flow theory. The model used is the semilinear viscous Burgers equation. Instead of using the traditional fixed sensors to estimate the state of the traffic at given points, the measurements here are obtained from Probe Vehicles (PVs). We propose then a moving dynamic boundary observer whose boundaries are defined by the trajectories of the PVs. The main result of this article is the exponential convergence of the observation error, and, in some cases, its finite-time convergence. Finally, numerical simulations show that it is possible to observe the traffic in the congested, free-flow, and mixed regimes provided that the number of PVs is large enough.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Linear System Identification Under Multiplicative Noise from Multiple Trajectory Data

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. We consider linear system identification with multiplicative noise from multiple state-input trajectory data. We propose exploratory input signals along with a least-squares algorithm to simultaneously estimate nominal system parameters and multiplicative noise covariance matrices. Identifiability of the covariance structure and asymptotic consistency of the least-squares estimator are demonstrated by analyzing first and second moment dynamics of the system. The results are illustrated by numerical simulations.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Linearly Solvable Mean-Field Traffic Routing Games

We consider a dynamic traffic routing game over an urban road network involving a large number of drivers in which each driver selecting a particular route is subject to a penalty that is affine in the logarithm of the number of drivers selecting the same route. We show that the mean-field approximation of such a game leads to the so-called linearly solvable Markov decision process, implying that its mean-field equilibrium (MFE) can be found simply by solving a finite-dimensional linear system backward in time. Based on this backward-only characterization, it is further shown that the obtained MFE has the notable property of strong time-consistency. A connection between the obtained MFE and a particular class of fictitious play is also discussed.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Actuator Security Indices Based on Perfect Undetectability: Computation, Robustness, and Sensor Placement

This paper proposes an actuator security index based on the definition of perfect undetectability. This index can help a control system operator to localize the most vulnerable actuators in the networked control system, which can then be secured. Particularly, the security index of an actuator equals the minimum number of sensors and actuators that needs to be compromised, such that a perfectly undetectable attack against that actuator can be conducted. A method for computing the index for small scale networked control systems is derived, and it is shown that the index can potentially be increased by placing additional sensors. The difficulties that appear once the system is of a large scale are then outlined: the problem of calculating the index is NP--hard, the index is vulnerable to system variations, and it is based on the assumption that the attacker knows the entire model of the system. To overcome these difficulties, a robust security index is introduced. The robust index can be calculated in polynomial time, it is unaffected by the system variations, and it can be related to both limited and full model knowledge attackers. Additionally, we analyze two sensor placement problems with the objective to increase the robust indices. We show that both of these problems have submodular structures, so their suboptimal solutions with performance guarantees can be obtained in polynomial time. Finally, the theoretical developments are illustrated through numerical examples.

0 citations0 reviewsNo code linkedOpen access