English
Related papers

Related papers: Supervisor Localization of Discrete-Event Systems …

200 papers

This work attempts to discuss the observability of linear time-invariant systems with event-triggered measurements. A new notion of observability, namely, $\epsilon$-observability is defined with parameter $\epsilon$, which relates to the…

Systems and Control · Electrical Eng. & Systems 2022-03-31 Kaikai Zheng , Dawei Shi , Tongwen Chen

In recent years, Event Sound Source Localization has been widely applied in various fields. Recent works typically relying on the contrastive learning framework show impressive performance. However, all work is based on large relatively…

Computer Vision and Pattern Recognition · Computer Science 2024-05-01 Yue Li , Baiqiao Yin , Jinfu Liu , Jiajun Wen , Jiaying Lin , Mengyuan Liu

In order to guarantee that a supervised system satisfies safety requirements of the specification, as well as requirements saying that in certain states certain events must be enabled, this paper introduces required events for discrete…

Formal Languages and Automata Theory · Computer Science 2026-05-12 Yu Wang , Zhaohui Zhu , Rob van Glabbeek , Jinjin Zhang , Yixuan Li

As an emerging and challenging problem in the computer vision community, weakly supervised object localization and detection plays an important role for developing new generation computer vision systems and has received significant…

Computer Vision and Pattern Recognition · Computer Science 2021-04-19 Dingwen Zhang , Junwei Han , Gong Cheng , Ming-Hsuan Yang

This article deals with the spatio-temporal sensors deployment in order to maximize detection probability of an intelligent and randomly moving target in an area under surveillance. Our work is based on the rare events simulation framework.…

Neural and Evolutionary Computing · Computer Science 2017-02-24 Chouchane Mathieu , Paris Sébastien , Le Gland François , Ouladsine Mustapha

This paper presents PREVENT, an approach for predicting and localizing failures in distributed enterprise applications by combining unsupervised techniques. Software failures can have dramatic consequences in production, and thus predicting…

Software Engineering · Computer Science 2024-09-18 Giovanni Denaro , Rahim Heydarov , Ali Mohebbi , Mauro Pezzè

This paper deals with the state estimation of linear time-invariant systems using distributed observers with local sampled-data measurement and aperiodic communication. Each observer agent perceives partial information of the system to be…

Systems and Control · Electrical Eng. & Systems 2024-06-11 Shimin Wang , Ya-Jun Pan , Martin Guay

A recurrent task in coordinated systems is managing (estimating, predicting, or controlling) signals that vary in space, such as distributed sensed data or computation outcomes. Especially in large-scale settings, the problem can be…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-02-14 Roberto Casadei , Stefano Mariani , Danilo Pianini , Mirko Viroli , Franco Zambonelli

In this work, we investigate how to make use of model reduction techniques to identify the vulnerability of a closed-loop system, consisting of a plant and a supervisor, that might invite attacks. Here, the system vulnerability refers to…

Systems and Control · Electrical Eng. & Systems 2022-01-26 Ruochen Tai , Liyong Lin , Rong Su

In recent years, deep learning technology has been maturely applied in the field of object detection, and most algorithms tend to be supervised learning. However, a large amount of labeled data requires high costs of human resources, which…

Computer Vision and Pattern Recognition · Computer Science 2023-06-27 Yanyang Wang , Zhaoxiang Liu , Shiguo Lian

This paper concerns the distributed observer for the descriptor linear system. Unlike centralized descriptor system observers, in the case of distributed observers, each agent either finds it difficult to independently eliminate impulses,…

Dynamical Systems · Mathematics 2025-01-08 Shuai Liu , Haotian Xu

In this study, we address the problem of supervised change detection for robotic map learning applications, in which the aim is to train a place-specific change classifier (e.g., support vector machine (SVM)) to predict changes from a…

Computer Vision and Pattern Recognition · Computer Science 2017-06-08 Fei Xiaoxiao , Tanaka Kanji

Resilience to sensor and actuator attacks is a major concern in the supervisory control of discrete events in cyber-physical systems (CPS). In this work, we propose a new framework to design supervisors for CPS under attacks using…

Formal Languages and Automata Theory · Computer Science 2023-06-30 Yu Wang , Alper Kamil Bozkurt , Nathan Smith , Miroslav Pajic

In the Ramadge-Wonham supervisory control theory the only interaction mechanism between supervisor and plant is that the supervisor may enable/disable events from the plant and the plant makes a final decision about which of the enabled…

Formal Languages and Automata Theory · Computer Science 2024-04-15 Michel Reniers , Kai Cai

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

Self-supervised learning (SSL) has emerged as a powerful technique for learning visual representations. While recent SSL approaches achieve strong results in global image understanding, they are limited in capturing the structured…

Computer Vision and Pattern Recognition · Computer Science 2025-08-28 Oussama Hadjerci , Antoine Letienne , Mohamed Abbas Hedjazi , Adel Hafiane

In this paper we study the problem of predictability in partially observable discrete event systems, i.e., the question whether an observer can predict the occurrence of a fault. We extend the definition of predictability to consider the…

Systems and Control · Computer Science 2015-08-05 Alban Grastien

In this paper, we consider the problem of optimizing the worst-case behavior of a partially observed system. All uncontrolled disturbances are modeled as finite-valued uncertain variables. Using the theory of cost distributions, we present…

Optimization and Control · Mathematics 2023-02-21 Aditya Dave , Nishanth Venkatesh , Andreas A. Malikopoulos

In general relativity, the causal structure between events is dynamical, but it is definite and observer-independent; events are point-like and the membership of an event A in the future or past light-cone of an event B is an…

Quantum Physics · Physics 2020-07-13 Philippe Allard Guérin , Časlav Brukner

Event-based keypoint detection and matching holds significant potential, enabling the integration of event sensors into highly optimized Visual SLAM systems developed for frame cameras over decades of research. Unfortunately, existing…

Computer Vision and Pattern Recognition · Computer Science 2025-10-01 Yannick Burkhardt , Simon Schaefer , Stefan Leutenegger