English
Related papers

Related papers: Gramian-based reachability metrics for bilinear ne…

200 papers

We apply the theory of optimal control to the dynamics of two "gmon" qubits, with the goal of preparing a desired entangled ground state from an initial unentangled one. Given an initial state, a target state, and a Hamiltonian with a set…

Quantum Physics · Physics 2018-07-02 Seraph Bao , Silken Kleer , Ruoyu Wang , Armin Rahmani

We address a distributed adaptive control methodology for nonlinear interconnected systems possibly affected by network anomalies. In the framework of adaptive approximation, the distributed controller and parameter estimator are designed…

Systems and Control · Electrical Eng. & Systems 2025-01-08 Youqing Wang , Ying Li , Thomas Parisini , Dong Zhao

Although decidable, the marking reachability problem for Petri nets is well-known to be intractable in general, and a non-elementary lower bound has been recently uncovered. In order to alleviate this difficulty, various structural and…

Logic in Computer Science · Computer Science 2020-06-11 Thomas Hujsa , Bernard Berthomieu , Silvano Dal Zilio , Didier Le Botlan

This paper completely solves the controllability problems of two-dimensional multi-input discrete-time bilinear systems with and without drift. Necessary and sufficient conditions for controllability, which cover the existing results, are…

Systems and Control · Computer Science 2014-01-23 Lin Tie

Network reliability measures the probability that a target node is reachable from a source node in an uncertain graph, i.e., a graph where every edge is associated with a probability of existence. In this paper, we investigate the novel and…

Databases · Computer Science 2020-05-26 Xiangyu Ke , Arijit Khan , Mohammad Al Hasan , Rojin Rezvansangsari

This paper studies the set of terminal state covariances that are reachable over a finite time horizon from a given initial state covariance for a linear stochastic system with additive noise. For discrete-time systems, a complete…

Systems and Control · Electrical Eng. & Systems 2025-09-22 Fengjiao Liu , Panagiotis Tsiotras

We study a fundamental measure for wireless interference in the SINR model known as (weighted) inductive independence. This measure characterizes the effectiveness of using oblivious power --- when the power used by a transmitter only…

Data Structures and Algorithms · Computer Science 2013-10-04 Magnus M. Halldorsson , Stephan Holzer , Pradipta Mitra , Roger Wattenhofer

We investigate a Geometric Brownian Information Engine (GBIE) in the presence of an error-free feedback controller that transforms the information gathered on the state of Brownian particles entrapped in monolobal geometric confinement into…

Statistical Mechanics · Physics 2025-04-15 Rafna Rafeek , Syed Yunus Ali , Debasish Mondal

This paper presents a small-gain theorem for networks composed of a countably infinite number of finite-dimensional subsystems. Assuming that each subsystem is exponentially input-to-state stable, we show that if the gain operator,…

Optimization and Control · Mathematics 2020-12-02 Christoph Kawan , Andrii Mironchenko , Abdalla Swikir , Navid Noroozi , Majid Zamani

Verifying correctness of deep neural networks (DNNs) is challenging. We study a generic reachability problem for feed-forward DNNs which, for a given set of inputs to the network and a Lipschitz-continuous function over its outputs,…

Machine Learning · Computer Science 2018-05-08 Wenjie Ruan , Xiaowei Huang , Marta Kwiatkowska

We consider the scheduling control problem for a family of unitary networks under heavy traffic, with general interarrival and service times, probabilistic routing and infinite horizon discounted linear holding cost. A natural…

Probability · Mathematics 2007-05-23 Amarjit Budhiraja , Arka Prasanna Ghosh

Given a conjunctive Boolean network (CBN) with $n$ state-variables, we consider the problem of finding a minimal set of state-variables to directly affect with an input so that the resulting conjunctive Boolean control network (CBCN) is…

Data Structures and Algorithms · Computer Science 2020-06-09 Eyal Weiss , Michael Margaliot , Guy Even

This work extends reachability analyses based on ellipsoidal techniques to Linear Time Invariant (LTI) systems subject to an integral quadratic constraint (IQC) between the past state and disturbance signals , interpreted as an input-output…

Optimization and Control · Mathematics 2020-02-14 Paul Rousse , Pierre-Loïc Garoche , Didier Henrion

We design a new feedback law to stabilize a linear infinite-dimensional control system, where the state operator generates a C0-group and the control operator is unbounded. Our feedback law is based on the integration of a mutated Gramian…

Optimization and Control · Mathematics 2022-05-19 Yaxing Ma , Gengsheng Wang , Huaiqiang Yu

A common approach to controlling complex networks is to directly control a subset of input nodes, which then controls the remaining nodes via network interactions. While techniques have been proposed for selecting input nodes based on…

Optimization and Control · Mathematics 2014-12-15 Andrew Clark , Basel Alomair , Linda Bushnell , Radha Poovendran

Motivated by the need for fast synchronized operation of power microgrids, we analyze the problem of single and multiple pinning in networked systems. We derive lower and upper bounds on the algebraic connectivity of the network with…

Systems and Control · Computer Science 2017-09-19 S. Manaffam , M. K. Talebi , A. K. Jain , A. Behal

This article treats two problems dealing with control of linear systems in the presence of a jammer that can sporadically turn off the control signal. The first problem treats the standard reachability problem, and the second treats the…

Systems and Control · Computer Science 2017-11-27 Sukumar Srikant , Debasish Chatterjee

The existence of unknown interference is a prevalent problem in wireless communication networks. Especially in multi-user multiple-input multiple-output (MIMO) networks, where a large number of user equipments are served on the same…

Signal Processing · Electrical Eng. & Systems 2023-05-15 Mahmoud Zaher , Emil Björnson , Marina Petrova

In this paper, we consider the state controllability of networked systems, where the network topology is directed and weighted and the nodes are higher-dimensional linear time-invariant (LTI) dynamical systems. We investigate how the…

Systems and Control · Computer Science 2015-11-03 Lin Wang , Guanrong Chen , Xiaofan Wang , Wallace K. S. Tang

Progress in miniaturized technology allows us to control physical systems at nanoscale with remarkable precision. Experimental advancements have sparked interest in control problems in stochastic thermodynamics, typically concerning a…

Statistical Mechanics · Physics 2025-03-26 Julia Sanders , Marco Baldovin , Paolo Muratore-Ginanneschi