Buchumschlag

Functional requirements decomposition in set-based design

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Sun, Minghui, Chen, Zhaoyang, Bakirtzis, Georgios, Jafarzadeh, Hassan, Fleming, Cody
Format:	Preprint
Veröffentlicht:	2022
Schlagworte:	Systems and Control
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Correct-by-construction requirement decomposition
von: Sun, Minghui, et al.
Veröffentlicht: (2019)

Compositional shield synthesis for safe reinforcement learning in partial observability
von: Carr, Steven, et al.
Veröffentlicht: (2025)

Negotiating Control: Neurosymbolic Variable Autonomy
von: Bakirtzis, Georgios, et al.
Veröffentlicht: (2024)

F1tenth Autonomous Racing With Offline Reinforcement Learning Methods
von: Koirala, Prajwal, et al.
Veröffentlicht: (2024)

Solving Offline Reinforcement Learning with Decision Tree Regression
von: Koirala, Prajwal, et al.
Veröffentlicht: (2024)

Categorical semantics of compositional reinforcement learning
von: Bakirtzis, Georgios, et al.
Veröffentlicht: (2022)

Towards Robust Car Following Dynamics Modeling via Blackbox Models: Methodology, Analysis, and Recommendations
von: Shahid, Muhammad Bilal, et al.
Veröffentlicht: (2024)

Certified Learning-Enabled Noise-Aware Motion Planning for Urban Air Mobility
von: Park, Jaejeong, et al.
Veröffentlicht: (2025)

ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllers
von: Ferlez, James, et al.
Veröffentlicht: (2020)

Navigating the sociotechnical labyrinth: Dynamic certification for responsible embodied AI
von: Bakirtzis, Georgios, et al.
Veröffentlicht: (2024)

Reduce, Reuse, Recycle: Categories for Compositional Reinforcement Learning
von: Bakirtzis, Georgios, et al.
Veröffentlicht: (2024)

Electricity storage requirements to support the transition towards high renewable penetration levels: Application to the Greek power system
von: Psarros, Georgios N., et al.
Veröffentlicht: (2022)

Passivity, No-Regret, and Convergent Learning in Contractive Games
von: Abdelraouf, Hassan, et al.
Veröffentlicht: (2025)

Large Language Model Assisted Optimal Bidding of BESS in FCAS Market: An AI-agent based Approach
von: Zhang, Borui, et al.
Veröffentlicht: (2024)

Robust reset control design for piezo-actuated nano-positioner in presence of hysteresis nonlinearity
von: Sebghati, Ashkan, et al.
Veröffentlicht: (2025)

LexiSafe: Offline Safe Reinforcement Learning with Lexicographic Safety-Reward Hierarchy
von: Yang, Hsin-Jung, et al.
Veröffentlicht: (2026)

A decomposition-based approach for large-scale pickup and delivery problems
von: Hiermann, G., et al.
Veröffentlicht: (2024)

Approximate solutions to games of ordered preference
von: Molins, Pau de las Heras, et al.
Veröffentlicht: (2025)

Lyapunov based dynamic controller designs for reach-and-avoid problems
von: Lanza, Lukas, et al.
Veröffentlicht: (2024)

Decentralized design of consensus protocols with minimal communication links based on directed spanning tree
von: Chen, Yangzhou, et al.
Veröffentlicht: (2026)

Neural Network-based Co-design of Output-Feedback Control Barrier Function and Observer with Input Constraints
von: Jagabathula, Vaishnavi, et al.
Veröffentlicht: (2025)

Polynomial Lyapunov Functions and Invariant Sets from a New Hierarchy of Quadratic Lyapunov Functions for LTV Systems
von: Abdelraouf, Hassan, et al.
Veröffentlicht: (2024)

Distributed State Estimation for Discrete-time LTI Systems: the Design Trilemma and a Novel Framework
von: Zhao, Ruixuan, et al.
Veröffentlicht: (2026)

Koopman-based feedback design with stability guarantees
von: Strässer, Robin, et al.
Veröffentlicht: (2023)

PGD-based optimization of 3D bobsleigh track centerlines from 2D centerlines for simulation applications
von: Chen, Zhe, et al.
Veröffentlicht: (2025)

Community-based Multi-Agent Reinforcement Learning with Transfer and Active Exploration
von: Shi, Zhaoyang
Veröffentlicht: (2025)

C codegen considered unnecessary: go directly to binary, do not pass C. Compilation of Julia code for deployment in model-based engineering
von: Carlson, Fredrik Bagge, et al.
Veröffentlicht: (2025)

Machine learning-based input-augmented Koopman modeling and predictive control of nonlinear processes
von: Li, Zhaoyang, et al.
Veröffentlicht: (2024)

On the Choice of Loss Function in Learning-based Optimal Power Flow
von: Chen, Ge, et al.
Veröffentlicht: (2024)

Enhancing the Reliability of Closed-Loop Describing Function Analysis for Reset Control Applied to Precision Motion Systems
von: Zhang, Xinxin, et al.
Veröffentlicht: (2024)

Distributed Safe Learning and Planning for Multi-robot Systems
von: Yuan, Zhenyuan, et al.
Veröffentlicht: (2022)

An Analogy of Frequency Droop Control for Grid-forming Sources
von: Lu, Minghui, et al.
Veröffentlicht: (2025)

Higher-Order Sinusoidal Input Describing Functions for Open-Loop and Closed-Loop Reset Control with Application to Mechatronics Systems
von: Zhang, Xinxin, et al.
Veröffentlicht: (2024)

Efficient streaming dynamic mode decomposition
von: Kale, Aditya, et al.
Veröffentlicht: (2025)

Unraveling tensor structures in correct-by-design controller synthesis
von: Wang, Ruohan, et al.
Veröffentlicht: (2025)

Automated algorithm design for convex optimization problems with linear equality constraints
von: Ozaslan, Ibrahim K., et al.
Veröffentlicht: (2025)

Frequency Constrained MPC for Efficient Grid Side Operation of Wind Power Conversion Systems
von: Karaca, Orcun, et al.
Veröffentlicht: (2024)

How many autonomous vehicles are required to stabilize traffic flow?
von: Bahavarnia, MirSaleh, et al.
Veröffentlicht: (2024)

Aspiration-based Perturbed Learning Automata in Games with Noisy Utility Measurements. Part B: Stochastic Stability in Weakly Acyclic Games
von: Chasparis, Georgios C.
Veröffentlicht: (2025)

Nash equilibrium seeking for a class of quadratic-bilinear Wasserstein distributionally robust games
von: Pantazis, Georgios, et al.
Veröffentlicht: (2024)