Opacity Enforcing Supervisory Control with a Priori Unknown Supervisors

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Cui, Bohan, Ma, Ziyue, Giua, Alessandro, Yin, Xiang
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Systems and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

On Prediction-Based Properties of Discrete-Event Systems: Notions, Applications and Supervisor Synthesis
di: Cui, Bohan, et al.
Pubblicazione: (2025)

A Stackelberg Game Approach for Signal Temporal Logic Control Synthesis with Uncontrollable Agents
di: Cui, Bohan, et al.
Pubblicazione: (2025)

On Epistemic Properties in Discrete-Event Systems: A Uniform Framework and Its Applications
di: Cui, Bohan, et al.
Pubblicazione: (2024)

Verification of Nonblockingness in Bounded Petri Nets With Minimax Basis Reachability Graphs
di: Gu, Chao, et al.
Pubblicazione: (2020)

On Approximate Opacity of Stochastic Control Systems
di: Liu, Siyuan, et al.
Pubblicazione: (2024)

Dynamic Max-Consensus and Size Estimation of Anonymous Multi-Agent Networks
di: Deplano, Diego, et al.
Pubblicazione: (2020)

A Nonlinear Perron-Frobenius Approach for Stability and Consensus of Discrete-Time Multi-Agent Systems
di: Deplano, Diego, et al.
Pubblicazione: (2019)

Novel Stability Conditions for Nonlinear Monotone Systems and Consensus in Multi-Agent Networks
di: Deplano, Diego, et al.
Pubblicazione: (2023)

Time-Varying Soft-Maximum Control Barrier Functions for Safety in an A Priori Unknown Environment
di: Safari, Amirsaeid, et al.
Pubblicazione: (2023)

A Game-Theoretical Approach for Optimal Supervisory Control of Discrete Event Systems under Energy Constraints
di: Lv, Peng, et al.
Pubblicazione: (2024)

Algebraic Connectivity Control and Maintenance in Multi-Agent Networks under Attack
di: Zhao, Wenjie, et al.
Pubblicazione: (2024)

Adaptive Disturbance Observer-based Full-Order Integral-Terminal Sliding Mode Control with Unknown A Priori Bound on Uncertainty
di: Koley, Jit, et al.
Pubblicazione: (2023)

Opacity in Discrete Event Systems: A Perspective and Overview
di: Yin, Xiang
Pubblicazione: (2026)

Probabilistic State Estimation of Timed Probabilistic Discrete Event Systems via Artificial Neural Networks [Draft Version]
di: Amri, Omar, et al.
Pubblicazione: (2025)

Online Learning for Supervisory Switching Control
di: Sun, Haoyuan, et al.
Pubblicazione: (2026)

Executor-Side Progressive Risk-Gated Actuation for Agentic AI in Wireless Supervisory Control
di: Liu, Zhenyu, et al.
Pubblicazione: (2026)

Certificates Synthesis for A Class of Observational Properties in Stochastic Systems: A Unified Approach
di: Cui, Bohan, et al.
Pubblicazione: (2026)

Failsafe Mechanism Design of Multicopters Based on Supervisory Control Theory
di: Quan, Quan, et al.
Pubblicazione: (2017)

Control Affine Hybrid Power Plant Subsystem Modeling for Supervisory Control Design
di: Ampleman, Stephen, et al.
Pubblicazione: (2025)

Data-driven Supervisory Control under Attacks via Spectral Learning
di: Smith, Nathaniel, et al.
Pubblicazione: (2025)

Bounded-Time Nonblocking Supervisory Control of Timed Discrete-Event Systems
di: Zhang, Renyuan, et al.
Pubblicazione: (2024)

Identification of Minimally Restrictive Assembly Sequences using Supervisory Control Theory
di: Vinetti, Martina, et al.
Pubblicazione: (2025)

Overview of Controllability Definitions in Supervisory Control Theory
di: Keiren, Jeroen J. A., et al.
Pubblicazione: (2025)

Supervisory Control Theory with Event Forcing
di: Reniers, Michel, et al.
Pubblicazione: (2024)

Supervisory Control of Discrete Event Systems for Small Language Under Cyber Attacks
di: Wang, Xiaojun, et al.
Pubblicazione: (2025)

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances
di: Gracia, Ibon, et al.
Pubblicazione: (2024)

A Safe Reinforcement Learning Algorithm for Supervisory Control of Power Plants
di: Sun, Yixuan, et al.
Pubblicazione: (2024)

Sufficient A Priori Conditions for the Linear Relaxation of the Energy Storage Scheduling Problem
di: Prat, Eléa, et al.
Pubblicazione: (2025)

Enforcing contraction via data
di: Hu, Zhongjie, et al.
Pubblicazione: (2024)

Markov Clustering based Fully Automated Nonblocking Hierarchical Supervisory Control of Large-Scale Discrete-Event Systems
di: Liu, Yingying, et al.
Pubblicazione: (2025)

Enforcing Cooperative Safety for Reinforcement Learning-based Mixed-Autonomy Platoon Control
di: Zhou, Jingyuan, et al.
Pubblicazione: (2024)

Supervisory Control of Hybrid Power Plants Using Online Feedback Optimization: Designs and Validations with a Hybrid Co-Simulation Engine
di: Mukherjee, Sayak, et al.
Pubblicazione: (2025)

A Novel Supervisory Control Algorithm to Avoid Deadlock in a Manufacturing System Based on Petri Net in Presence of Resource Failure
di: Bagheri, Ahmad, et al.
Pubblicazione: (2024)

Information-Theoretic Opacity-Enforcement in Markov Decision Processes
di: Shi, Chongyang, et al.
Pubblicazione: (2024)

A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions
di: Badings, Thom, et al.
Pubblicazione: (2024)

Adaptive Control of Dual-Rotor Rotational System with Unknown Geometry and Unknown Inertia
di: Mirtaba, Mohammad, et al.
Pubblicazione: (2025)

Adaptive Control of Euler-Lagrange Systems under Time-varying State Constraints without a Priori Bounded Uncertainty
di: Sankaranarayanan, Viswa Narayanan, et al.
Pubblicazione: (2023)

Explainable AI-Enhanced Supervisory Control for Robust Multi-Agent Robotic Systems
di: Pirayeshshirazinezhad, Reza, et al.
Pubblicazione: (2025)

Supervisory Measurement-Guided Noise Covariance Estimation: Discussing Forward and Reverse Differentiation
di: Li, Haoying, et al.
Pubblicazione: (2025)

HiL Demonstration of Online Battery Capacity and Impedance Estimation with Minimal a Priori Parametrization Effort
di: Beckers, Camiel J. J., et al.
Pubblicazione: (2024)

if (filemtime($filename) + $maxlifetime < time()) { unlink($filename); $count++; } } return $count; } /** * A function that is called internally when session data is to be saved. * * @param string $sessId The current session ID * @param string $data The session data to write * * @return bool */ protected function saveSession($sessId, $data): bool { $sessFile = $this->path . '/sess_' . $sessId; if ($handle = fopen($sessFile, 'w')) { $return = false; // Lock the file for exclusive access to avoid issues with multiple // processes writing session simultaneously: if (flock($handle, LOCK_EX)) { $return = fwrite($handle, $data); // Make sure that there's no trailing data by truncating the file to // the correct length: ftruncate($handle, strlen($data)); fflush($handle); flock($handle, LOCK_UN); } fclose($handle); if ($return !== false) { return true; } } // If we got this far, something went wrong with the file output... // It is tempting to throw an exception here, but this code is called // outside of the context of exception handling, so all we can do is // echo a message.

// Anecdotal testing Today and Yesterday seems to indicate destroy() // is called by the garbage collector and everything is good. // Something to keep in mind though. return 0; } /** * Write function that is called when session data is to be saved. * * @param string $sessId The current session ID * @param string $data The session data to write * * @return bool */ public function write($sessId, $data): bool { if ($this->writesDisabled) { return true; } return $this->saveSession($sessId, $data); } /** * A function that is called internally when session data is to be saved. * * @param string $sessId The current session ID * @param string $data The session data to write * * @return bool */ abstract protected function saveSession($sessId, $data): bool; }

* * @return void */ public function writeClose() { // The assumption is that we're using PHP's ext/session. // session_write_close() will actually overwrite $_SESSION with an // empty array on completion -- which leads to a mismatch between what // is in the storage object and $_SESSION. To get around this, we // temporarily reset $_SESSION to an array, and then re-link it to // the storage object. // // Additionally, while you _can_ write to $_SESSION following a // session_write_close() operation, no changes made to it will be // flushed to the session handler. As such, we now mark the storage // object isImmutable. $storage = $this->getStorage(); if (! $storage->isImmutable()) { $_SESSION = $storage->toArray(true); session_write_close(); $storage->fromArray($_SESSION); $storage->markImmutable(); } } /** * Attempt to set the session name * * If the session has already been started, or if the name provided fails * validation, an exception will be raised. * * @param string $name * @return SessionManager * @throws Exception\InvalidArgumentException */ public function setName($name) { if ($this->sessionExists()) { throw new Exception\InvalidArgumentException( 'Cannot set session name after a session has already started'

Environment & details:

GET Data empty

POST Data empty

Files empty

Key	Value
ui	"standard"
language	"it"
VUFIND_SESSION	"7b5606aa30701236467c56e3477ff155"

Session

Key	Value
__Laminas	array:2 [`"_REQUEST_ACCESS_TIME" => 1790970618.3903 "_VALID" => array:1 [ "Laminas\Session\Validator\Id" => "7b5606aa30701236467c56e3477ff155" ]`]
SessionState	Laminas\Stdlib\ArrayObject {#938}
FlashMessenger	Laminas\Stdlib\ArrayObject {#1433}
SessionHelper	Laminas\Stdlib\ArrayObject {#1759}

Server/Request Data

Key	Value
REDIRECT_VUFIND_LOCAL_DIR	"/usr/local/vufind/local"
REDIRECT_HTTPS	"on"
REDIRECT_SSL_TLS_SNI	"info.umar.mx"
REDIRECT_STATUS	"200"
VUFIND_LOCAL_DIR	"/usr/local/vufind/local"
HTTPS	"on"
SSL_TLS_SNI	"info.umar.mx"
HTTP_ACCEPT	"/"
HTTP_USER_AGENT	"Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)"
HTTP_COOKIE	"ui=standard; language=it; VUFIND_SESSION=7b5606aa30701236467c56e3477ff155"
HTTP_ACCEPT_ENCODING	"gzip, br, zstd, deflate"
HTTP_HOST	"info.umar.mx"
PATH	"/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/snap/bin"
SERVER_SIGNATURE	"<address>Apache/2.4.66 (Ubuntu) Server at info.umar.mx Port 443</address>\n"
SERVER_SOFTWARE	"Apache/2.4.66 (Ubuntu)"
SERVER_NAME	"info.umar.mx"
SERVER_ADDR	"200.23.222.19"
SERVER_PORT	"443"
REMOTE_ADDR	"216.73.217.142"
DOCUMENT_ROOT	"/usr/local/vufind/public"
REQUEST_SCHEME	"https"
CONTEXT_PREFIX	""
CONTEXT_DOCUMENT_ROOT	"/usr/local/vufind/public"
SERVER_ADMIN	"admin@localhost"
SCRIPT_FILENAME	"/usr/local/vufind/public/index.php"
REMOTE_PORT	"58681"
REDIRECT_URL	""" /Record/\n arxiv_https___arxiv_org_abs_2604_04070/Similar """
GATEWAY_INTERFACE	"CGI/1.1"
SERVER_PROTOCOL	"HTTP/1.1"
REQUEST_METHOD	"GET"
QUERY_STRING	""
REQUEST_URI	"/Record/%0Aarxiv_https___arxiv_org_abs_2604_04070/Similar"
SCRIPT_NAME	"/index.php"
PHP_SELF	"/index.php"
REQUEST_TIME_FLOAT	1790970618.3853
REQUEST_TIME	1790970618

Environment Variables empty

Registered Handlers

0. Whoops\Handler\PrettyPageHandler