Cover Image

A Systems-Theoretical Formalization of Closed Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Shadab, Niloofar, Cody, Tyler, Salado, Alejandro, Beling, Peter
Format:	Preprint
Published:	2023
Subjects:	Artificial Intelligence Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Exploring Core and Periphery Precepts in Biological and Artificial Intelligence: An Outcome-Based Perspective
by: Shadab, Niloofar, et al.
Published: (2025)

A Systems Theoretic Approach to Online Machine Learning
by: Preez, Anli du, et al.
Published: (2024)

A Formal Model for Artificial Intelligence Applications in Automation Systems
by: Schieseck, Marvin, et al.
Published: (2024)

On Extending the Automatic Test Markup Language (ATML) for Machine Learning
by: Cody, Tyler, et al.
Published: (2024)

Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression
by: Skovbekk, John, et al.
Published: (2021)

Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates (Extended Version)
by: Schön, Oliver, et al.
Published: (2025)

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification
by: Coppola, Rudi, et al.
Published: (2025)

Synthesis of Dynamic Masks for Information-Theoretic Opacity in Stochastic Systems
by: Udupa, Sumukha, et al.
Published: (2025)

EVT-Based Generative AI for Tail-Aware Channel Estimation
by: Valiahdi, Parmida, et al.
Published: (2026)

Specification Generation for Neural Networks in Systems
by: Chaudhary, Isha, et al.
Published: (2024)

Stability-Preserving Online Adaptation of Neural Closed-loop Maps
by: Saccani, Danilo, et al.
Published: (2026)

Learning-Augmented Power System Operations: A Unified Optimization View
by: Xu, Wangkun, et al.
Published: (2025)

LLM-Supported Formal Knowledge Representation for Enhancing Control Engineering Content with an Interactive Semantic Layer
by: Fiedler, Julius, et al.
Published: (2025)

A Context-Free Smart Grid Model Using Complex System Approach
by: Amor, Soufian Ben, et al.
Published: (2025)

Canonical Form of Datatic Description in Control Systems
by: Zhan, Guojian, et al.
Published: (2024)

Predictive Monitoring of Black-Box Dynamical Systems
by: Henzinger, Thomas A., et al.
Published: (2024)

The FABRIC Strategy for Verifying Neural Feedback Systems
by: Akinwande, Samuel I., et al.
Published: (2026)

System-of-systems Modeling and Optimization: An Integrated Framework for Intermodal Mobility
by: Saves, Paul, et al.
Published: (2025)

From Agent Loops to Structured Graphs:A Scheduler-Theoretic Framework for LLM Agent Execution
by: Wei, Hu
Published: (2026)

MTTR-A: Measuring Cognitive Recovery Latency in Multi-Agent Systems
by: Or, Barak
Published: (2025)

SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning
by: Kretinsky, Jan, et al.
Published: (2025)

Verification of Neural Network Control Systems in Continuous Time
by: ArjomandBigdeli, Ali, et al.
Published: (2024)

Robustness Analysis of AI Models in Critical Energy Systems
by: Dogoulis, Pantelis, et al.
Published: (2024)

Why Reinforcement Learning in Energy Systems Needs Explanations
by: Butt, Hallah Shahid, et al.
Published: (2024)

The Responsibility Vacuum: Organizational Failure in Scaled Agent Systems
by: Romanchuk, Oleg, et al.
Published: (2026)

PowerChain: A Verifiable Agentic AI System for Automating Distribution Grid Analyses
by: Badmus, Emmanuel O., et al.
Published: (2025)

From Autonomous Agents to Integrated Systems, A New Paradigm: Orchestrated Distributed Intelligence
by: Tallam, Krti
Published: (2025)

Physicochemical-Neural Fusion for Semi-Closed-Circuit Respiratory Autonomy in Extreme Environments
by: Kingston, Phillip, et al.
Published: (2026)

Closed-loop Multi-step Planning
by: Lafratta, Giulia, et al.
Published: (2024)

Reliability, Resilience and Human Factors Engineering for Trustworthy AI Systems
by: Mishra, Saurabh, et al.
Published: (2024)

Forecasting Empty Container availability for Vehicle Booking System Application
by: Gouabou, Arthur Cartel Foahom, et al.
Published: (2025)

Towards Real-world Deployment of NILM Systems: Challenges and Practices
by: Xue, Junyu, et al.
Published: (2024)

Explainable AI based System for Supply Air Temperature Forecast
by: Eik, Marika, et al.
Published: (2025)

Survey and Tutorial of Reinforcement Learning Methods in Process Systems Engineering
by: Bloor, Maximilian, et al.
Published: (2025)

Diffusion Model-based Parameter Estimation in Dynamic Power Systems
by: Zhu, Feiqin, et al.
Published: (2024)

Perspectives on a Reliability Monitoring Framework for Agentic AI Systems
by: Flehmig, Niclas, et al.
Published: (2025)

Capturing Aerodynamic Characteristics of ATTAS Aircraft with Evolving Intelligent System
by: Soylu, Aydoğan, et al.
Published: (2025)

Model Predictive Control of Hybrid Dynamical Systems
by: Sanfelice, Ricardo G., et al.
Published: (2026)

Approximate Information States for Worst-Case Control and Learning in Uncertain Systems
by: Dave, Aditya, et al.
Published: (2023)

A Multi-Agent Systems Approach for Peer-to-Peer Energy Trading in Dairy Farming
by: Shah, Mian Ibad Ali, et al.
Published: (2023)