English
Related papers

Related papers: Supervisor Localization of Discrete-Event Systems …

200 papers

This paper presents a distributed stochastic model predictive control (SMPC) approach for large-scale linear systems with private and common uncertainties in a plug-and-play framework. Using the so-called scenario approach, the centralized…

Optimization and Control · Mathematics 2019-01-09 V. Rostampour , T. Keviczky

Complex systems are often composed of many small communicating components called modules. We investigate the synthesis of supervisory controllers for modular systems under partial observation that, as the closed-loop system, realize the…

Formal Languages and Automata Theory · Computer Science 2023-02-22 Jan Komenda , Tomáš Masopust

This paper addresses active state estimation with a team of robotic sensors. The states to be estimated are represented by spatially distributed, uncorrelated, stationary vectors. Given a prior belief on the geographic locations of the…

Robotics · Computer Science 2018-01-16 Charles Freundlich , Yan Zhang , Michael M. Zavlanos

In this paper we consider a recently developed distributed optimization algorithm based on gradient tracking. We propose a system theory framework to analyze its structural properties on a preliminary, quadratic optimization set-up.…

Systems and Control · Electrical Eng. & Systems 2020-06-03 Michelangelo Bin , Ivano Notarnicola , Lorenzo Marconi , Giuseppe Notarstefano

Many of the distributed localization algorithms are based on relaxed optimization formulations of the localization problem. These algorithms commonly rely on first-order optimization methods, and hence may require many iterations or…

Optimization and Control · Mathematics 2016-07-19 Sina Khoshfetrat Pakazad , Emre Özkan , Carsten Fritsche , Anders Hansson , Fredrik Gustafsson

Online structure learning approaches, such as those stemming from Statistical Relational Learning, enable the discovery of complex relations in noisy data streams. However, these methods assume the existence of fully-labelled training data,…

Artificial Intelligence · Computer Science 2019-02-21 Evangelos Michelioudakis , Alexander Artikis , Georgios Paliouras

In this paper, we propose a stochastic scheduling strategy for estimating the states of N discrete-time linear time invariant (DTLTI) dynamic systems, where only one system can be observed by the sensor at each time instant due to practical…

Optimization and Control · Mathematics 2015-06-23 Chong Li , Nicola Elia

We propose a novel semi-supervised structured output prediction method based on local linear regression in this paper. The existing semi-supervise structured output prediction methods learn a global predictor for all the data points in a…

Machine Learning · Computer Science 2016-08-17 Ru-Ze Liang , Wei Xie , Weizhi Li , Xin Du , Jim Jing-Yan Wang , Jingbin Wang

Supervisory control of discrete-event systems with a global safety specification and with only local supervisors is a difficult problem. For global specifications the equivalent conditions for local control synthesis to equal global control…

Optimization and Control · Mathematics 2012-03-22 Jan Komenda , Tomas Masopust , Jan H. van Schuppen

Much has been said about observability in system theory and control; however, it has been recently that observability in complex networks has seriously attracted the attention of researchers. This paper examines the state-of-the-art and…

Systems and Control · Computer Science 2017-07-13 Mehdi Fatemi , Peyman Setoodeh , Simon Haykin

A Robotic Mobile Fulfillment System is a robotised parts-to-picker system that is particularly well-suited for e-commerce warehousing. One distinguishing feature of this type of warehouse is its high storage modularity. Numerous robots are…

The automation of condition monitoring and workpiece inspection plays an essential role in maintaining high quality as well as high throughput of the manufacturing process. To this end, the recent rise of developments in machine learning…

Machine Learning · Computer Science 2022-01-19 Michael Banf , Gregor Steinhagen

In this paper, we investigate the enforcement of opacity via supervisory control in the context of discrete-event systems. A system is said to be opaque if the intruder, which is modeled as a passive observer, can never infer confidently…

Systems and Control · Electrical Eng. & Systems 2021-11-23 Yifan Xie , Xiang Yin , Shaoyuan Li

As a general and thus popular model for autonomous systems, partially observable Markov decision process (POMDP) can capture uncertainties from different sources like sensing noises, actuation errors, and uncertain environments. However,…

Systems and Control · Computer Science 2017-03-27 Xiaobin Zhang , Bo Wu , Hai Lin

We investigate the coordination and control problems of distributed discrete event systems that are composed of multiple subsystems subject to potential actuator and/or sensor faults. We model actuator faults as local controllability loss…

Systems and Control · Computer Science 2018-12-06 Jin Dai , Hai Lin

In decentralized supervisory control, several local supervisors cooperate to accomplish a common goal (specification). Controllability and coobservability are the key conditions to achieve a specification in the controlled system. We…

Optimization and Control · Mathematics 2017-11-15 Jan Komenda , Tomáš Masopust

This paper investigates the problem of distributed nonblocking supervisory control for timed discrete-event systems (DESs). The distributed supervisors communicate with each other over networks subject to nondeterministic communication…

Systems and Control · Electrical Eng. & Systems 2023-09-06 Yunfeng Hou , Qingdu Li

The distributed observer design problem holds significant importance in cases in which the output information of a system is decentralized across different subsystems. Each subsystem has a local observer and access to one part of the…

Dynamical Systems · Mathematics 2024-02-13 Haotian Xu , Shuai Liu , Bohui Wang , Jingcheng Wang

We consider the problem of learning control policies in discrete-time stochastic systems which guarantee that the system stabilizes within some specified stabilization region with probability~$1$. Our approach is based on the novel notion…

Machine Learning · Computer Science 2023-07-31 Matin Ansaripour , Krishnendu Chatterjee , Thomas A. Henzinger , Mathias Lechner , Đorđe Žikelić

Decision trees, owing to their interpretability, are attractive as control policies for (dynamical) systems. Unfortunately, constructing, or synthesising, such policies is a challenging task. Previous approaches do so by imitating a…

Artificial Intelligence · Computer Science 2025-04-23 Emir Demirović , Christian Schilling , Anna Lukina