Copertina

Formally verified asymptotic consensus in robust networks

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Tekriwal, Mohit, Tachna-Fram, Avi, Jeannin, Jean-Baptiste, Kapritsos, Manos, Panagou, Dimitra
Natura:	Preprint
Pubblicazione:	2022
Soggetti:	Programming Languages Optimization and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Feasibility Evaluation of Quadratic Programs for Constrained Control
di: Rousseas, Panagiotis, et al.
Pubblicazione: (2025)

FORESEE: Prediction with Expansion-Compression Unscented Transform for Online Policy Optimization
di: Parwana, Hardik, et al.
Pubblicazione: (2022)

Formalization of Asymptotic Convergence for Stationary Iterative Methods
di: Tekriwal, Mohit, et al.
Pubblicazione: (2022)

Robust Safety-Critical Control for Systems with Sporadic Measurements and Dwell Time Constraints
di: Breeden, Joseph, et al.
Pubblicazione: (2024)

Reformulations of Quadratic Programs for Lipschitz Continuity
di: Agrawal, Devansh R., et al.
Pubblicazione: (2025)

Risk-Aware Fixed-Time Stabilization of Stochastic Systems under Measurement Uncertainty
di: Black, Mitchell, et al.
Pubblicazione: (2024)

Towards Verified Compilation of Floating-point Optimization in Scientific Computing Programs
di: Tekriwal, Mohit, et al.
Pubblicazione: (2025)

Feasibility Analysis and Constraint Selection in Optimization-Based Controllers
di: Rousseas, Panagiotis, et al.
Pubblicazione: (2025)

A new use of the Kurdyka-Lojasiewicz property to study asymptotic behaviours of some stochastic optimization algorithms in a non-convex differentiable framework
di: Fest, Jean-Baptiste
Pubblicazione: (2023)

Towards Formal Verification of Hybrid Synchronous Programs with Refinement Types
di: Dane, Serra Z., et al.
Pubblicazione: (2026)

Combinatorial Control Barrier Functions: Nested Boolean and p-choose-r Compositions of Safety Constraints
di: Ong, Pio, et al.
Pubblicazione: (2025)

A robust consensus + innovations-based distributed parameter estimator
di: Lorenz-Meyer, Nicolai, et al.
Pubblicazione: (2024)

A Formal Perspective on Byte-Pair Encoding
di: Zouhar, Vilém, et al.
Pubblicazione: (2023)

Optimizing Optimizations, Declaratively: Optimizing the Higher-Order Functions in Mathematical Optimization with egglog
di: Ishii, Hiromi
Pubblicazione: (2026)

Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling
di: Ishii, Hiromi, et al.
Pubblicazione: (2025)

Achieving consensus in networks of increasingly stubborn voters
di: Ohlin, David, et al.
Pubblicazione: (2024)

BR-MPPI: Barrier Rate guided MPPI for Enforcing Multiple Inequality Constraints with Learned Signed Distance Field
di: Parwana, Hardik, et al.
Pubblicazione: (2025)

Feasible Space Monitoring for Multiple Control Barrier Functions with application to Large Scale Indoor Navigation
di: Parwana, Hardik, et al.
Pubblicazione: (2023)

A cutting-surface consensus approach for distributed robust optimization of multi-agent systems
di: Fu, Jun, et al.
Pubblicazione: (2023)

Hierarchical parameter estimation for distributed networked systems: a dynamic consensus approach
di: Mendez-Castillo, Ariana R., et al.
Pubblicazione: (2026)

Minimizing risk measures with applications in network traffic engineering
di: Chandra, Ashish, et al.
Pubblicazione: (2025)

Distributed Constraint-Coupled Optimization: Harnessing ADMM-consensus for robustness
di: Messilem, Mohamed Abdelmouamin, et al.
Pubblicazione: (2025)

Modeling and Optimization of Control Problems on GPUs
di: Montoison, Alexis, et al.
Pubblicazione: (2025)

A power consensus algorithm for DC microgrids
di: De Persis, Claudio, et al.
Pubblicazione: (2016)

On dual-rate consensus under transmission delays
di: Umsonst, David, et al.
Pubblicazione: (2025)

Finite adaptability in two-stage robust optimization: asymptotic optimality and tractability
di: Kedad-Sidhoum, Safia, et al.
Pubblicazione: (2023)

Projection-based discrete-time consensus on the unit sphere
di: Thunberg, Johan, et al.
Pubblicazione: (2026)

On graphs with finite-time consensus and their use in gradient tracking
di: Nguyen, Edward Duc Hien, et al.
Pubblicazione: (2023)

Exponential stability of finite-$N$ consensus-based optimization
di: Göttlich, Simone, et al.
Pubblicazione: (2025)

A dynamical neural network approach for distributionally robust chance constrained Markov decision process
di: Xia, Tian, et al.
Pubblicazione: (2023)

Formal Simulation and Visualisation of Hybrid Programs
di: Mendes, Pedro, et al.
Pubblicazione: (2024)

Average consensus with resilience and privacy guarantees without losing accuracy
di: Ramos, Guilherme, et al.
Pubblicazione: (2025)

A necessary and sufficient condition for discrete-time consensus on star boundaries
di: Sidorenko, Galina, et al.
Pubblicazione: (2026)

Uncovering latent consensus in heterogeneous populations: The Mixture Linear Ordering Problem
di: Aledo, Juan A., et al.
Pubblicazione: (2026)

On the mean field limit of consensus based methods
di: Koß, Marvin, et al.
Pubblicazione: (2024)

A constrained optimization approach to improve robustness of neural networks
di: Zhao, Shudian, et al.
Pubblicazione: (2024)

Minimum time consensus for damped second order agents using Gröbner basis
di: Rautela, Akansha, et al.
Pubblicazione: (2025)

Discreteness to Convexity: Promotion Planning via Simplotope Triangulation
di: He, Taotao, et al.
Pubblicazione: (2024)

MIP Relaxations in Factorable Programming
di: He, Taotao, et al.
Pubblicazione: (2023)

Taxicab distance based best-worst method for multi-criteria decision-making: An analytical approach
di: Ratandhara, Harshit, et al.
Pubblicazione: (2024)