English
Related papers

Related papers: Supervisor Localization of Discrete-Event Systems …

200 papers

A supervisory observer is a multiple-model architecture, which estimates the parameters and the states of nonlinear systems. It consists of a bank of state observers, where each observer is designed for some nominal parameter values sampled…

Optimization and Control · Mathematics 2017-09-06 Michelle S. Chong , Romain Postoyan , Sei Zhen Khong , Dragan Nesic

We present a semi-supervised approach that localizes multiple unknown object instances in long videos. We start with a handful of labeled boxes and iteratively learn and label hundreds of thousands of object instances. We propose criteria…

Computer Vision and Pattern Recognition · Computer Science 2015-05-22 Ishan Misra , Abhinav Shrivastava , Martial Hebert

This paper investigates the supervisory control of nondeterministic discrete event systems to enforce bisimilarity with respect to deterministic specifications. A notion of synchronous simulation-based controllability is introduced as a…

Systems and Control · Computer Science 2012-03-09 Yajuan Sun , Hai Lin , Ben M. Chen

Unsupervised learning of visual similarities is of paramount importance to computer vision, particularly due to lacking training data for fine-grained similarities. Deep learning of similarities is often based on relationships between pairs…

Computer Vision and Pattern Recognition · Computer Science 2017-04-12 Miguel A Bautista , Artsiom Sanakoyeu , Björn Ommer

This paper is concerned with the leader-following output consensus problem in the framework of distributed nonlinear observers. In stead of certain hypotheses on the leader system, a group of geometric conditions is put forward to develop a…

Optimization and Control · Mathematics 2020-07-09 Haotian Xu , Jingcheng Wang , Bohui Wang , Hongyuan Wang , Ibrahim Brahmia

This paper studies current-state opacity and initial-state opacity verification of distributed discrete event systems. The distributed system's global model is the parallel composition of multiple local systems: each of which represents a…

Systems and Control · Electrical Eng. & Systems 2021-12-21 Sasinee Pruekprasert , Kai Cai

Recently, deep neural networks have achieved remarkable performance on the task of object detection and recognition. The reason for this success is mainly grounded in the availability of large scale, fully annotated datasets, but the…

Computer Vision and Pattern Recognition · Computer Science 2018-11-16 Christian Bartz , Haojin Yang , Joseph Bethge , Christoph Meinel

In this article, we are interested in planning problems where the agent is aware of the presence of an observer, and where this observer is in a partial observability situation. The agent has to choose its strategy so as to optimize the…

Artificial Intelligence · Computer Science 2025-11-24 Salomé Lepers , Vincent Thomas , Olivier Buffet

The Audio-Visual Video Parsing task aims to identify and temporally localize the events that occur in either or both the audio and visual streams of audible videos. It often performs in a weakly-supervised manner, where only video event…

Computer Vision and Pattern Recognition · Computer Science 2024-06-04 Jinxing Zhou , Dan Guo , Yiran Zhong , Meng Wang

Safety-critical cyber-physical systems require control strategies whose worst-case performance is robust against adversarial disturbances and modeling uncertainties. In this paper, we present a framework for approximate control and learning…

Optimization and Control · Mathematics 2023-04-04 Aditya Dave , Ioannis Faros , Nishanth Venkatesh , Andreas A. Malikopoulos

Complexity analysis becomes a common task in supervisory control. However, many results of interest are spread across different topics. The aim of this paper is to bring several interesting results from complexity theory and to illustrate…

Systems and Control · Computer Science 2017-03-16 Tomáš Masopust

The stabilization of nonlinear systems under zero-state-detectability assumption or its analogues is considered. The proposed supervisory control provides a finite time practical stabilization of output and it is based on uniting local and…

Optimization and Control · Mathematics 2013-04-16 Denis Efimov , Alexander L. Fradkov

Supervisory control theory provides means to synthesize supervisors for systems with discrete-event behavior from models of the uncontrolled plant and of the control requirements. The applicability of supervisory control theory often fails…

Systems and Control · Electrical Eng. & Systems 2021-04-27 Martijn Goorden , Joanna van de Mortel-Fronczak , Michel Reniers , Martin Fabian , Wan Fokkink , Jacobus Rooda

This paper is concerned with a leader-follower problem for a multi-agent system with a switching interconnection topology. Distributed observers are designed for the second-order follower-agents, under the common assumption that the…

Optimization and Control · Mathematics 2018-01-03 Yiguang Hong , Guanrong Chen , Linda Bushnell

In this paper, we further develop the coordination control framework for discrete-event systems with both complete and partial observation. A new weaker sufficient condition for the computation of the supremal conditionally controllable…

Optimization and Control · Mathematics 2014-03-20 Jan Komenda , Tomáš Masopust , Jan H. van Schuppen

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

In recent years, the distributed-observer-based distributed control law has shown powerful ability to arbitrarily approximate the centralized control performance. However, the traditional distributed observer requires each local observer to…

Systems and Control · Electrical Eng. & Systems 2025-10-31 Haotian Xu , Shuai Liu , Ling Shi

Accurate localization in diverse environments is a fundamental challenge in computer vision and robotics. The task involves determining a sensor's precise position and orientation, typically a camera, within a given space. Traditional…

Computer Vision and Pattern Recognition · Computer Science 2024-07-23 Luca Di Giammarino , Boyang Sun , Giorgio Grisetti , Marc Pollefeys , Hermann Blum , Daniel Barath

Visual Simultaneous Localisation and Mapping (VSLAM) is a well-known problem in robotics with a large range of applications. This paper presents a novel approach to VSLAM by lifting the observer design to a novel Lie group on which the…

Systems and Control · Electrical Eng. & Systems 2026-01-19 Pieter van Goor , Robert Mahony , Tarek Hamel , Jochen Trumpf

In literature, extensive research has been done with respect to synthesis of supervisory controllers. Such synthesized supervisors can be distributed for implementation on multiple physical controllers. This paper discusses a method for…

Formal Languages and Automata Theory · Computer Science 2021-02-22 R. H. J. Schouten , L. Moormann , J. M. van de Mortel-Fronczak , J. E. Rooda
‹ Prev 1 3 4 5 6 7 10 Next ›