:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Cauchi, Nathalie, Degiorgio, Kurt, Abate, Alessandro
Format:	Preprint
Publié:	2019
Sujets:	Systems and Control
Accès en ligne:	https://arxiv.org/abs/1901.10287
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems
par: Cauchi, Nathalie, et autres
Publié: (2019)

Polymatroidal Representations of Aggregate EV Flexibility Considering Network Constraints
par: Mukhi, Karan, et autres
Publié: (2025)

Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems
par: Badings, Thom, et autres
Publié: (2025)

A data-driven approach for safety quantification of non-linear stochastic systems with unknown additive noise distribution
par: Mathiesen, Frederik Baymler, et autres
Publié: (2024)

Exact Recourse Functions for Aggregations of EVs Operating in Imbalance Markets
par: Mukhi, Karan, et autres
Publié: (2025)

Continuous-time Data-driven Barrier Certificate Synthesis
par: Rickard, Luke, et autres
Publié: (2025)

Data-Driven Certificate Synthesis
par: Rickard, Luke, et autres
Publié: (2025)

Neural Proofs for Sound Verification and Control of Complex Systems
par: Abate, Alessandro
Publié: (2025)

Aggregate Flexibility of Thermostatically Controlled Loads using Generalized Polymatroids
par: Mukhi, Karan, et autres
Publié: (2025)

Networked Communication for Decentralised Agents in Mean-Field Games
par: Benjamin, Patrick, et autres
Publié: (2023)

Networked Communication for Mean-Field Games with Function Approximation and Empirical Mean-Field Estimation
par: Benjamin, Patrick, et autres
Publié: (2024)

A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions
par: Badings, Thom, et autres
Publié: (2024)

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems
par: Nazeri, Mahdi, et autres
Publié: (2025)

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization
par: Riccardi, Alessandro, et autres
Publié: (2026)

Quantitative Supermartingale Certificates
par: Abate, Alessandro, et autres
Publié: (2025)

Learning Robust Policies for Uncertain Parametric Markov Decision Processes
par: Rickard, Luke, et autres
Publié: (2023)

Stochastic Omega-Regular Verification and Control with Supermartingales
par: Abate, Alessandro, et autres
Publié: (2024)

LLM-Enhanced Symbolic Control for Safety-Critical Applications
par: Bayat, Amir, et autres
Publié: (2025)

Data-driven memory-dependent abstractions of dynamical systems via a Cantor-Kantorovich metric
par: Banse, Adrien, et autres
Publié: (2024)

Exact Characterization of Aggregate Flexibility via Generalized Polymatroids
par: Mukhi, Karan, et autres
Publié: (2025)

Certifiably Robust Policies for Uncertain Parametric Environments
par: Schnitzer, Yannik, et autres
Publié: (2024)

Learning-based Rigid Tube Model Predictive Control
par: Gao, Yulong, et autres
Publié: (2023)

A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis
par: Edwards, Alec, et autres
Publié: (2023)

Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models
par: Edwards, Alec, et autres
Publié: (2023)

Data-driven Interval MDP for Robust Control Synthesis
par: Coppola, Rudi, et autres
Publié: (2024)

Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics
par: Nazeri, Mahdi, et autres
Publié: (2025)

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances
par: Gracia, Ibon, et autres
Publié: (2024)

Existence and Synthesis of Multi-Resolution Approximate Bisimulations for Continuous-State Dynamical Systems
par: Coppola, Rudi, et autres
Publié: (2025)

Data driven synthesis of provable invariant sets via stochastically sampled data
par: Strong, Amy K., et autres
Publié: (2025)

Certificates Synthesis for A Class of Observational Properties in Stochastic Systems: A Unified Approach
par: Cui, Bohan, et autres
Publié: (2026)

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
par: Vertovec, Nikolaus, et autres
Publié: (2025)

Jitter Characterization of the HyTI Satellite
par: Urasaki, Chase, et autres
Publié: (2024)

HyParLyVe: Hyperplane Partitioning for Neural Lyapunov Verification
par: Wayment, Jesse, et autres
Publié: (2026)

Certified Neural Approximations of Nonlinear Dynamics
par: Mathiesen, Frederik Baymler, et autres
Publié: (2025)

Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets
par: Solanki, Prashant, et autres
Publié: (2025)

Synthesis and verification of robust-adaptive safe controllers
par: Liu, Simin, et autres
Publié: (2023)

State-of-the-art review and synthesis: A requirement-based roadmap for standardized predictive maintenance automation using digital twin technologies
par: Ma, Sizhe, et autres
Publié: (2023)

A contract negotiation scheme for safety verification of interconnected systems
par: Tan, Xiao, et autres
Publié: (2023)

Uncertainty-aware data-driven predictive control in a stochastic setting
par: Breschi, Valentina, et autres
Publié: (2022)

HyMGP: A Customized MILP-Based Tool for Techno-Economic Planning of Islanded Microgrids
par: Intriago, Andres, et autres
Publié: (2026)