English
Related papers

Related papers: Do What You Know: Coupling Knowledge with Action i…

200 papers

Interactions between internet users are mediated by their devices and the common support infrastructure in data centres. Keeping track of causality amongst actions that take place in this distributed system is key to provide a seamless…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-08-12 Seyed Hossein Haeri , Peter Van Roy , Carlos Baquero , Christopher Meiklejohn

In this paper we develop a data-driven approach for marking nonblocking supervisory control of discrete-event systems (DES). We consider a setup in which models of DES to be controlled are unknown, but a set of data concerning the behaviors…

Formal Languages and Automata Theory · Computer Science 2026-03-09 Yingying Liu , Kuma Fuchiwaki , Kai Cai

In this paper, we propose an adaptive event-triggered reinforcement learning control for continuous-time nonlinear systems, subject to bounded uncertainties, characterized by complex interactions. Specifically, the proposed method is…

Machine Learning · Computer Science 2024-10-01 Umer Siddique , Abhinav Sinha , Yongcan Cao

In discrete-event systems, to save sensor resources, the agent continuously adjusts sensor activation decisions according to a sensor activation policy based on the changing observations. However, new challenges arise for sensor activations…

Systems and Control · Electrical Eng. & Systems 2023-04-07 Yunfeng Hou , Ching-Yen Weng , Peng Li

Event-triggered and self-triggered control have recently been proposed as implementation strategies that considerably reduce the resources required for control. Although most of the work so far has focused on closing a single control loop,…

Optimization and Control · Mathematics 2011-09-05 Romain Postoyan , Paulo Tabuada , Dragan Nesic , Adolfo Anta

In this paper, we present the first general solution to the automatic reconfiguration problem of timed discrete-event systems. We extend the recursive forcible backtracking approach which had been already solved the automatic…

Systems and Control · Electrical Eng. & Systems 2022-10-05 Matin Macktoobian

Document-level Event Causality Identification (DECI) aims to identify causal relations between two events in documents. Recent research tends to use pre-trained language models to generate the event causal relations. Whereas, these methods…

Computation and Language · Computer Science 2024-03-19 Baiyan Zhang , Qin Chen , Jie Zhou , Jian Jin , Liang He

This paper studies the interaction between knowledge, time and coordination in systems in which timing information is available. Necessary conditions are given for the causal structure in coordination problems consisting of orchestrating a…

Logic in Computer Science · Computer Science 2013-10-29 Ido Ben-Zvi , Yoram Moses

Event prediction is the ability of anticipating future events, i.e., future real-world occurrences, and aims to support the user in deciding on actions that change future events towards a desired state. An event prediction method learns the…

Artificial Intelligence · Computer Science 2025-07-10 Janik-Vasily Benzin , Stefanie Rinderle-Ma

Due to the appearance of uncontrollable events in discrete event systems, one may wish to replace the behavior leading to the uncontrollability of pre-specified language by some quite similar one. To capture this similarity, we introduce…

Discrete Mathematics · Computer Science 2007-05-23 Yongzhi Cao , Mingsheng Ying

By adequate employing of complex event processing (CEP), valuable information can be extracted from the underlying complex system and used in controlling and decision situations. An example application area is management of IT systems for…

Software Engineering · Computer Science 2012-08-02 Istvan David

In this paper, coordination control of discrete event systems under joint sensor and actuator attacks is investigated. Sensor attacks are described by a set of attack languages using a proposed ALTER model. Several local supervisors are…

Systems and Control · Electrical Eng. & Systems 2026-05-19 Fei Wang , Jan Komenda , Feng Lin

When ignorance due to the lack of knowledge, modeled as epistemic uncertainty using Dempster-Shafer structures on closed intervals, is present in the model parameters, a new uncertainty propagation method is necessary to propagate both…

Methodology · Statistics 2011-07-11 Gabriel Terejanu , Puneet Singla , Tarunraj Singh , Peter D. Scott

A minor change to the standard epistemic logical language, replacing $K_{i}$ with $K_{\node{i,t}}$ where $t$ is a time instance, gives rise to a generalized and more expressive form of knowledge and common knowledge operators. We…

Multiagent Systems · Computer Science 2012-03-27 Ido Ben-Zvi , Yoram Moses

This paper studies the problem of event-triggered impulsive control for discrete-time systems. A novel periodic event-triggering scheme with two tunable parameters is presented to determine the moments of updating impulsive control signals…

Optimization and Control · Mathematics 2023-04-28 Kexue Zhang , Elena Braverman

The proliferation of edge networks creates islands of learning agents working on local streams of data. Transferring knowledge between these agents in real-time without exposing private data allows for collaboration to decrease learning…

Machine Learning · Computer Science 2021-10-04 Orpaz Goldstein , Mohammad Kachuee , Derek Shiell , Majid Sarrafzadeh

The abundance of data affords researchers to pursue more powerful computational tools to learn the dynamics of complex system, such as neural networks, engineered systems and social networks. Traditional machine learning approaches capture…

Machine Learning · Computer Science 2024-05-16 Yan Shen , Fan Yang , Mingchen Gao , Wen Dong

Causal phenomena associated with rare events occur across a wide range of engineering problems, such as risk-sensitive safety analysis, accident analysis and prevention, and extreme value theory. However, current methods for causal…

Machine Learning · Statistics 2023-07-19 Chih-Yuan Chiu , Kshitij Kulkarni , Shankar Sastry

This paper makes a first step towards a logic of learning from experiments. For this, we investigate formal frameworks for modeling the interaction of causal and (qualitative) epistemic reasoning. Crucial for our approach is the idea that…

Artificial Intelligence · Computer Science 2021-12-02 Fausto Barbero , Katrin Schulz , Fernando R. Velázquez-Quesada , Kaibo Xie

Human-centred systems require an understanding of human actions in the physical world. Temporally extended sequences of actions are intentional and structured, yet existing methods for recognising what actions are performed often do not…

Artificial Intelligence · Computer Science 2026-04-21 Rimvydas Rubavicius , Manisha Dubey , N. Siddharth , Subramanian Ramamoorthy