Copertina

Correct-by-construction requirement decomposition

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Sun, Minghui, Bakirtzis, Georgios, Jafarzadeh, Hassan, Fleming, Cody
Natura:	Preprint
Pubblicazione:	2019
Soggetti:	Systems and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Functional requirements decomposition in set-based design
di: Sun, Minghui, et al.
Pubblicazione: (2022)

Compositional shield synthesis for safe reinforcement learning in partial observability
di: Carr, Steven, et al.
Pubblicazione: (2025)

Negotiating Control: Neurosymbolic Variable Autonomy
di: Bakirtzis, Georgios, et al.
Pubblicazione: (2024)

F1tenth Autonomous Racing With Offline Reinforcement Learning Methods
di: Koirala, Prajwal, et al.
Pubblicazione: (2024)

Solving Offline Reinforcement Learning with Decision Tree Regression
di: Koirala, Prajwal, et al.
Pubblicazione: (2024)

Categorical semantics of compositional reinforcement learning
di: Bakirtzis, Georgios, et al.
Pubblicazione: (2022)

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

Certified Learning-Enabled Noise-Aware Motion Planning for Urban Air Mobility
di: Park, Jaejeong, et al.
Pubblicazione: (2025)

ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllers
di: Ferlez, James, et al.
Pubblicazione: (2020)

Navigating the sociotechnical labyrinth: Dynamic certification for responsible embodied AI
di: Bakirtzis, Georgios, et al.
Pubblicazione: (2024)

Reduce, Reuse, Recycle: Categories for Compositional Reinforcement Learning
di: Bakirtzis, Georgios, et al.
Pubblicazione: (2024)

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

Passivity, No-Regret, and Convergent Learning in Contractive Games
di: Abdelraouf, Hassan, et al.
Pubblicazione: (2025)

TATIC: Task-Aware Temporal Learning for Human Intent Inference from Physical Corrections in Human-Robot Collaboration
di: Song, Jiurun, et al.
Pubblicazione: (2026)

LexiSafe: Offline Safe Reinforcement Learning with Lexicographic Safety-Reward Hierarchy
di: Yang, Hsin-Jung, et al.
Pubblicazione: (2026)

Approximate solutions to games of ordered preference
di: Molins, Pau de las Heras, et al.
Pubblicazione: (2025)

Enhancing Optimal Microgrid Planning with Adaptive BESS Degradation Costs and PV Asset Management: An Iterative Post-Optimization Correction Framework
di: Butt, Hassan Zahid, et al.
Pubblicazione: (2024)

An Analogy of Frequency Droop Control for Grid-forming Sources
di: Lu, Minghui, et al.
Pubblicazione: (2025)

Distributed Safe Learning and Planning for Multi-robot Systems
di: Yuan, Zhenyuan, et al.
Pubblicazione: (2022)

Efficient streaming dynamic mode decomposition
di: Kale, Aditya, et al.
Pubblicazione: (2025)

Frequency Constrained MPC for Efficient Grid Side Operation of Wind Power Conversion Systems
di: Karaca, Orcun, et al.
Pubblicazione: (2024)

How many autonomous vehicles are required to stabilize traffic flow?
di: Bahavarnia, MirSaleh, et al.
Pubblicazione: (2024)

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

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

Clustering-enhanced adaptive Benders decomposition for energy systems planning optimization
di: Law, Jun Wen, et al.
Pubblicazione: (2026)

A decomposition-based approach for large-scale pickup and delivery problems
di: Hiermann, G., et al.
Pubblicazione: (2024)

Sectoral and spatial decomposition methods for multi-sector capacity expansion models
di: Parolin, Federico, et al.
Pubblicazione: (2025)

Digital requirements engineering with an INCOSE-derived SysML meta-model
di: Wheaton, James S., et al.
Pubblicazione: (2024)

Data-driven MPC with stability guarantees using extended dynamic mode decomposition
di: Bold, Lea, et al.
Pubblicazione: (2023)

On the Duality Between Quantized Time and States in Dynamic Simulation
di: Huang, Liya, et al.
Pubblicazione: (2025)

Stability of the Theta Method for Systems with Multiple Time-Delayed Variables
di: Bouterakos, Andreas, et al.
Pubblicazione: (2024)

Eigenvalue Tracking of Large-Scale Systems Impacted by Time Delays
di: Bouterakos, Andreas, et al.
Pubblicazione: (2025)

On data-driven Wasserstein distributionally robust Nash equilibrium problems with heterogeneous uncertainty
di: Pantazis, Georgios, et al.
Pubblicazione: (2023)

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

Impact Analysis of Utility-Scale Energy Storage on the ERCOT Grid in Reducing Renewable Generation Curtailments and Emissions
di: Buehner, Cody, et al.
Pubblicazione: (2025)

On constructive extractability of measurable selectors of set-valued maps
di: Osinenko, Pavel, et al.
Pubblicazione: (2024)

Grid Stability and Power Factor Dynamics in Solar Farms Integration
di: Osseily, Hassan
Pubblicazione: (2025)

Adaptive Benders decomposition and enhanced SDDP for multistage stochastic programs with block-separable multistage recourse
di: Mazzi, Nicolò, et al.
Pubblicazione: (2025)

A quantitative and constructive proof of Willems' Fundamental Lemma and its implications
di: Berberich, Julian, et al.
Pubblicazione: (2022)

Discrete implementations of sliding-mode controllers with barrier-function adaptations require a revised framework
di: Ovalle, Luis, et al.
Pubblicazione: (2025)