检索结果-内蒙古大学图书馆

IEEE Conference on Decision and control

作者： Alexander Davydov Saber Jafarpour Matthew Abate Francesco Bullo Samuel Coogan Center for Control Dynamical Systems and Computation University of California Santa Barbara School of Electrical and Computer Engineering Georgia Institute of Technology

ISBN: (数字)9781665467612

ISBN: (纸本)9781665467629

Implicit neural networks (INNs) are a class of learning models that use implicit algebraic equations as layers and have been shown to exhibit several notable benefits over traditional feedforward neural networks (FFNNs). In this paper, we use interval reachability analysis to study robustness of INNs and compare them with FFNNs. We first introduce the notion of tight inclusion function and use it to provide the tightest rectangular over-approximation of the neural network’s input-output map. We also show that tight inclusion functions lead to sharper robustness guarantees than the well-studied robustness measures of Lipschitz constants. Like exact Lipschitz constants, tight inclusions functions are computationally challenging to obtain, and thus we develop a framework based upon mixed monotonicity and contraction theory to estimate the tight inclusion functions for INNs. We show that our approach performs at least as well as, and generally better than, state-ofthe-art interval-bound propagation methods for INNs. Finally, we design a novel optimization problem for training robust INNs and we provide empirical evidence that suitably-trained INNs can be more robust than comparably-trained FFNNs.

关键词： Training Robustness Mathematical models Feedforward neural networks computational efficiency Reachability analysis Optimization

来源：评论

学校读者我要写书评

暂无评论

Synchronization Assessment in Power Networks and Coupled Oscillators

Synchronization Assessment in Power Networks and Coupled Osc...

引用

IEEE Annual Conference on Decision and control

作者： Florian Dorfler Michael Chertkov Francesco Bullo Center for Control Dynamical Systems and Computation University of California at Santa Barbara Theory Division & Center for Nonlinear Studies at LANL and with New Mexico Consortium

ISBN: (纸本)9781467320658

Synchronization problems in complex networks have recently attracted tremendous scientific interested. More-over, assessing the existence, stability, and robustness of synchronous states is a pervasive topic in the operation of power networks. Scientists in both communities have long aimed to identify sharp synchronization conditions as functions of the network topology and parameters. This paper proposes an insightful approach to this problem based on algebraic graph theory. We present a novel synchronization condition applicable to a general coupled oscillator model. We rigorously establish that our condition is exact for various interesting network topologies and parameters. Via statistical studies we show that our condition predicts accurately the existence of stable synchronous solutions for generic networks as well as various power network test cases. From these statistical studies, we conclude that our proposed condition is correct for almost all network topologies and parameters. Indeed, we also show that there exist possibly-thin sets of network topologies and parameters, where our condition is not sufficiently tight.

关键词： Network topology Power grids coupled oscillators Statistical Study Graph theory complex networks

来源：评论

学校读者我要写书评

暂无评论

Generalized solutions to hybrid systems with delays

Generalized solutions to hybrid systems with delays

引用

IEEE Conference on Decision and control

作者： Jun Liu Andrew R. Teel Department of Automatic Control and Systems Engineering University of Sheffield Sheffield Yorkshire UK Center for Control Dynamical Systems and Computation University of California Santa Barbara CA USA

ISBN: (纸本)9781467320658

We propose a framework that allows to study hybrid systems with delays through generalized concepts of solutions. Such generalized solutions have proved to be suitable for the analysis and design of hybrid control systems. Extending these concepts to systems with delays is motivated by control applications where hybrid feedback control laws play an important role but delays are often inevitable. Our first step characterizes a suitable phase space that is equipped with a suitable notion of convergence. The space of hybrid memory arcs under graphical convergence is considered. Regularity conditions on the hybrid data are then formulated in terms of the graphical topology. The new formulation enables two basic results regarding existence and well-posedness of solutions being established.

关键词： Time domain analysis Convergence Delay Topology Silicon control systems

来源：评论

学校读者我要写书评

暂无评论

Simultaneous Boundary Partitioning and Cameras Synchronization for Optimal Video Surveillance *

引用

IFAC Proceedings Volumes 2012年第26期45卷 1-6页

作者： F. Zanella F. Pasqualetti R. Carli F. Bullo Department of Information Engineering Università di Padova Via Gradenigo 6/a 35131 Padova Italy Center for Control Dynamical Systems and Computation University of California Santa Barbara USA

This paper proposes a real-time distributed algorithm for a team of smart cameras to self-organize and perform video surveillance of an open boundary. In particular, our algorithm simultaneously partitions the boundary among the cameras, and synchronizes the motion of the cameras to optimize the surveillance performance. We focus on the detection of smart intruders, who are aware of the cameras configuration at each time instant, and who schedule their motion to avoid detection for as long as possible. We consider both the worst-case and the average detection times of smart intruders. Our algorithm achieves minimum worst-case detection time, and, under some reasonable assumptions, constant-factor optimal average detection time.

关键词：

来源：评论

学校读者我要写书评

暂无评论

On Traveling Salesperson Problems for a double integrator

On Traveling Salesperson Problems for a double integrator

引用

IEEE Conference on Decision and control

作者： Ketan Savla Francesco Bullo Emilio Frazzoli Center for Control Dynamical Systems and Computation University of California Santa Barbara USA Aeronautics and Astronautics Department Massachusetts Institute of Technology USA

ISBN: (纸本)1424401704;9781424401703

In this paper we propose some novel path planning strategies for a double integrator with bounded velocity and bounded control inputs. First, we study the following version of the Traveling Salesperson Problem (TSP): given a set of points in Ropf d , find the fastest tour over the point set for a double integrator. We first give asymptotic bounds on the time taken for to complete such a tour in the worst-case. Then, we study a stochastic version of the TSP for double integrator where the points are randomly sampled from a uniform distribution in a compact environment in Ropf 2 and Ropf 3 . We propose novel algorithms that perform within a constant factor of the optimal strategy with high probability. Second, we study a dynamic TSP: given a stochastic process that generates targets, is there a policy which guarantees that the number of unvisited targets does not diverge over time? If such stable policies exist, what is the minimum wait for a target? We propose novel stabilizing algorithms whose performances are within a constant factor from the optimum, in Ropf 2 as well as in Ropf 3 . We also argue that these algorithms give similar performances for a particular nonholonomic vehicle, the Dubins vehicle

关键词： Stochastic processes Unmanned aerial vehicles Vehicle dynamics Approximation algorithms Velocity control Aerodynamics Polynomials USA Councils Path planning Operations research

来源：评论

学校读者我要写书评

暂无评论

A Solvability Condition for Reactive Power Flow

A Solvability Condition for Reactive Power Flow

引用

IEEE Annual Conference on Decision and control

作者： John W. Simpson-Porco Florian Dorfler Francesco Bullo Department of Mechanical Engineering and the Center for Control Dynamical Systems and Computation University of California Santa Barbara Automatic Control Laboratory ETH Zurich 8092 Zurich Switzerland

ISBN: (纸本)9781479978878

A central question in the analysis and operation of power networks is the feasibility of a unique high-voltage solution to the power flow equations satisfying operational constraints. For planning, monitoring, and contingency analysis in transmission networks, the high-voltage solution of these nonlinear equations can be constructed only numerically or roughly approximated using a linear DC power flow. In this work we analytically study the solvability of the nonlinear decoupled reactive power flow equations, and present a solvability condition relating the existence of a unique high-voltage solution to the spatial distribution of loading and the effective impedances between load buses. We validate the accuracy and applicability of our results through standard power network test cases.

关键词： Reactive power Mathematical model Generators Load modeling Power system stability Loading Numerical stability

来源：评论

学校读者我要写书评

暂无评论

Distributed Estimation and Detection under Local Information

引用

IFAC Proceedings Volumes 2010年第19期43卷 263-268页

作者： F. Pasqualetti R. Carli A. Bicchi F. Bullo Center for Control Dynamical Systems and Computation University of California Santa Barbara USA Centro I. R. “E. Piaggio” Università di Pisa Pisa Italy

This work considers the problem of obtaining optimal estimates via distributed computation in a large scale system. The electric power system, the transportation system, and generally any computer or network system, are examples of large scale systems: a decentralized estimation of signals based on observations acquired by spatially distributed sensors is the basis for a wide range of important applications. In this work, we focus on the problem of reconstructing the initial state of a linear network in the presence of process and measurement noise. We consider a local model information setup, in which the entire dynamical and measurement model is nowhere available and cannot be reconstructed for the computation. Our estimation procedure relies upon a novel technique to solve a consistent system of linear equations, for which we prove correctness and convergence. In the second part of the paper we consider the problem of detecting anomalies in a large scale network driven by noise. Despite the theoretical advances in this field of research, the currently available procedures to enforce security in large scale systems are computationally inefficient and numerically unreliable. Using our optimal estimation scheme, we describe a distributed procedure with performance guarantees that only requires local knowledge of the system model.

关键词：

来源：评论

学校读者我要写书评

暂无评论

L2-induced Gain Analysis for a class of Switched systems

L2-induced Gain Analysis for a class of Switched Systems

引用

Joint 48th IEEE Conference on Decision and control and 28th Chinese control Conference

作者： Kenji Hirata Joo P.Hespanha Department of Mechanical Engineering Nagaoka University of Technology Center for Control Dynamical Systemsand Computationand the Department of Electrical and Computer EngineeringUniversity of California

This paper addresses the computation of the L-induced gain for a class of switched *** main contribution of the paper is to completely characterize the induced gain of the switched system through a system of differential inequalities on a common storage function,one for each system being *** motivation for computing the induced gain of a switched system is the application of robust stability tools to the analysis of hybrid systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Multiagent coverage algorithms with gossip communication: control systems on the space of partitions

Multiagent coverage algorithms with gossip communication: co...

引用

2009 American control Conference (ACC 2009)

作者： Paolo Frasca Ruggero Carli Francesco Bullo DIIMA Universita di Salerno Center for Control Dynamical Systems and Computation University of California at Santa Barbara Santa Barbara CA 93106 USA

ISBN: (纸本)9781424445233

Deployment, coverage and partitioning are fundamental tasks for robotic networks. Recently proposed algorithms achieve these tasks under a critical assumption: information is exchanged synchronously among all agents and long-range communication is possibly required. This work proposes novel deployment and partitioning algorithms that require only asynchronous pairwise (so-called gossip) communication. Which robot pair communicates at any given time may be selected deterministically or randomly. A key novel idea is the description of the coverage control problem as a control system on the space of partitions - in other words, we study the evolution of the regions assigned to each agent, rather than the evolution of the agents' positions. The novel gossip algorithms are shown to converge to multicenter Voronoi partitions through various results of independent interest: we establish the compactness of the space of partitions, the continuity of certain geometric maps (e.g., the Voronoi and the centroid maps), and two convergence theorems for switching dynamical systems on metric spaces.

关键词： Partitioning algorithms Communication system control control systems

来源：评论

学校读者我要写书评

暂无评论

Persistence of excitation for koopman operator represented dynamical systems

arXiv

引用

arXiv 2019年

作者： Boddupalli, Nibodh Hasnain, Aqib Yeung, Enoch Department of Mechanical Engineering and the Center for ControlDynamical Systems and Computation University of California Santa Barbara Santa BarbaraCA93106 United States

The increase in complexity of engineered systems and naturally occurring systems, coupled with increasingly data-driven representations of these systems motivates the need for design of experiment frameworks for nonlinear system identification. In the case of a general nonlinear autonomous system (without inputs or control), designing an experiment for identification relies on the selection of persistently exciting flows and their corresponding initial conditions. This work investigates persistence of excitation conditions for discrete-time nonlinear systems that can be represented using Koopman operators. The Koopman operator presents a linear lifted representation of the evolution of a nonlinear system over a space of observable functions. We use this framework to derive spectral conditions for persistence of excitation, relating classical notions of persistence of excitation to the spectral properties of initial conditions, seen through the lens of Koopman observable functions. We illustrate these concepts on a repressilator circuit, a classical biological system from the field of synthetic biology, to motivate the proper selection of initial conditions. We show that when the rank properties of the flow's spectra are degenerate, the trained Koopman operator does not produce robust predictions on test data. Copyright © 2019, The Authors. All rights reserved.

关键词： Design of experiments

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：