Search Results for author:
Found 20 papers, 3 papers with code
Model Predictive Control for Signal Temporal Logic Specifications with Time Interval Decomposition
However, instead of applying MPC directly for the entire task horizon, we decompose the STL formula into several sub-formulae with disjoint time horizons, and shrinking horizon MPC is applied for each short-horizon sub-formula iteratively.
Model Predictive Monitoring of Dynamical Systems for Signal Temporal Logic Specifications
To this end, effective approaches for the computation of feasible sets of STL formulae are provided.
Opacity Enforcing Supervisory Control using Non-deterministic Supervisors
Compared with the standard deterministic control mechanism, such a non-deterministic control mechanism can enhance the plausible deniability of the controlled system as the online control decision is a random realization and cannot be implicitly inferred from the control policy.
Optimal Synthesis of Opacity-Enforcing Supervisors for Qualitative and Quantitative Specifications
We assume that the system has a "secret" that does not want to be revealed to the intruder.
A Framework for Current-State Opacity under Dynamic Information Release Mechanism
In this paper, we investigate the verification of current-state opacity for discrete-event systems under Orwellian-type observations, i. e., the system is allowed to re-interpret the observation of an event based on its future suffix.
A Pricing Rule for Third-Party Platoon Coordination Service Provider
To evaluate the effect of the pricing on the platooning system, we perform a simulation over the Swedish road network.
Online Monitoring of Dynamic Systems for Signal Temporal Logic Specifications with Model Information
We show that, by explicitly utilizing the model information of the dynamic system, the proposed online monitoring algorithm can falsify or certify of the specification in advance compared with existing algorithms, where no model information is used.
Sensor Deception Attacks Against Initial-State Privacy in Supervisory Control Systems
Specifically, we consider an active attacker that can tamper with the observations received by the supervisor by, e. g., hacking on the communication channel between the sensors and the supervisor.
You Don't Know What I Know: On Notion of High-Order Opacity in Discrete-Event Systems
In this paper, we consider a new type of secret related to the knowledge of the system user.
Fault Diagnosis of Discrete-Event Systems under Non-Deterministic Observations with Output Fairness
Non-deterministic observation is a general observation model that includes the case of intermittent loss of observations.
A Uniform Framework for Diagnosis of Discrete-Event Systems with Unreliable Sensors using Linear Temporal Logic
In this work, we propose a novel \emph{uniform framework} for diagnosability of DES subject to, not only sensor failures, but also a very general class of unreliable sensors.
A Unified Framework for Verification of Observational Properties for Partially-Observed Discrete-Event Systems
However, in contrast to existing results, where different verification procedures are developed for different properties case-by-case, in this work, we provide a unified framework for verifying all these properties by reducing each of them as an instance of HyperLTL model checking.
Markov decision processes with maximum entropy rate for Surveillance Tasks
We consider the problem of synthesizing optimal policies for Markov decision processes (MDP) for both utility objective and security constraint.
Multi-Agent Robust Control Synthesis from Global Temporal Logic Tasks
This paper focuses on the heterogeneous multi-agent control problem under global temporal logic tasks.
NNgTL: Neural Network Guided Optimal Temporal Logic Task Planning for Mobile Robots
In this work, we investigate task planning for mobile robots under linear temporal logic (LTL) specifications.
Safe-by-Construction Autonomous Vehicle Overtaking using Control Barrier Functions and Model Predictive Control
In order to tackle the overtaking task in such challenging scenarios, we introduce a novel integrated framework tailored for vehicle overtaking maneuvers.
Synthesis of Temporally-Robust Policies for Signal Temporal Logic Tasks using Reinforcement Learning
The second objective is to maximize the worst-case spatial robustness value within a bounded time shift.
A Game-Theoretical Approach for Optimal Supervisory Control of Discrete Event Systems under Energy Constraints
To solve this problem, we propose a game-theoretical approach by converting the cDES as a consumption two-player graph game (cTPG) and reformulate the optimal supervisory control problem in game theory.
Prioritize Team Actions: Multi-Agent Temporal Logic Task Planning with Ordering Constraints
Simultaneously, we aim to maintain a pre-determined order in the values of the objective function for each agent, which we refer to as the ordering constraints.
Optimal Control Synthesis of Markov Decision Processes for Efficiency with Surveillance Tasks
Our objective is to synthesize a control policy that ensures the surveillance task while maximizes the efficiency.
