Safety verification for distributed parameter systems using barrier functionals

Safety verification for distributed parameter systems using barrier functionals

We study the safety verification problem for a class of distributed parameter systems described by partial differential equations (PDEs), i.e., the problem of checking whether the solutions of the PDE satisfy a set of constraints at a particular point in time. The proposed method is based on an exte...

Detaylı Bibliyografya
Asıl Yazarlar:	Ahmadi, M, Valmorbida, G, Papachristodoulou, A
Materyal Türü:	Journal article
Baskı/Yayın Bilgisi:	Elsevier 2017

Benzer Materyaller

Semi-definite programming and functional inequalities for Distributed Parameter Systems
Yazar:: Valmorbida, G, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Barrier Functionals for Output Functional Estimation of PDEs
Yazar:: Ahmadi, M, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates.
Yazar:: Glavaski, S, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

Distributed safety verification for multi-agent systems
Yazar:: Wang, H, ve diğerleri
Baskı/Yayın Bilgisi: (2023)

Distributed control design and safety verification for multi-agent systems
Yazar:: Wang, H, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

Enhanced frameworks for safety verification of autonomous rendezvous systems
Yazar:: Maier, C, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Safety verification and controller synthesis for systems with input constraints
Yazar:: Wang, H, ve diğerleri
Baskı/Yayın Bilgisi: (2023)

Explicit solutions for safety problems using control barrier functions
Yazar:: Wang, H, ve diğerleri
Baskı/Yayın Bilgisi: (2023)

A contract negotiation scheme for safety verification of interconnected systems
Yazar:: Tan, X, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

Stability analysis for a class of partial differential equations via semidefinite programming
Yazar:: Valmorbida, G, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Dissipation inequalities for the analysis of a class of PDEs
Yazar:: Ahmadi, M, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

State-feedback design for nonlinear saturating systems
Yazar:: Valmorbida, G, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Controlled hybrid system safety verification: Advanced life support system testbed
Yazar:: Glavaski, S, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

A framework for input–output analysis of wall-bounded shear flows
Yazar:: Ahmadi, M, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Neural network verification using polynomial optimisation
Yazar:: Newton, M, ve diğerleri
Baskı/Yayın Bilgisi: (2022)

Online policy iterations for optimal control of input-saturated systems
Yazar:: Baldi, S, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

A Nonlinear Hybrid Life Support System: Dynamic Modeling, Control Design, and Safety Verification.
Yazar:: Glavaski, S, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Exploiting sparsity for neural network verification
Yazar:: Newton, M, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Sparse polynomial optimisation for neural network verification
Yazar:: Newton, M, ve diğerleri
Baskı/Yayın Bilgisi: (2023)

Convex co-design of control barrier functions and feedback controllers for linear systems
Yazar:: Wang, H, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

An optimization-based method for bounding state functionals of nonlinear stochastic systems
Yazar:: Papachristodoulou, A, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Software and Systems Safety − Specification and Verification
Baskı/Yayın Bilgisi: (2011)

Temporal verification of reactive systems : safety /
Yazar:: 179321 Manna, Zohar, ve diğerleri
Baskı/Yayın Bilgisi: (1995)

Safety Integrity Verification of Legacy Systems
Yazar:: Colin Easton
Baskı/Yayın Bilgisi: (2009-07-01)

Nonlinear static state feedback for saturated linear plants via a polynomial approach
Yazar:: Valmorbida, G, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Formal verification of safety-critical hybrid systems
Yazar:: Livadas, Carolos
Baskı/Yayın Bilgisi: (2008)

Formal Verification of Safety-Critical Hybrid Systems
Yazar:: Livadas, Carolos
Baskı/Yayın Bilgisi: (2023)

Modular Verification of Distributed Systems with Grove
Yazar:: Sharma, Upamanyu
Baskı/Yayın Bilgisi: (2023)

Safety verification of output feedback controllers for nonlinear systems
Yazar:: Abate, A, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Positivity conditions of Lyapunov functions for systems with slope restricted nonlinearities
Yazar:: Valmorbida, G, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

On the Calculation of Functional Safety Parameters of Technical Systems
Yazar:: Igor B. Shubinskiy, ve diğerleri
Baskı/Yayın Bilgisi: (2020-06-01)

Probabilistically safe controllers based on control barrier functions and scenario model predictive control
Yazar:: Do Nascimento, A, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

Verification and validation of safety related software
Yazar:: Arno, Matthew G. (Matthew Gordon)
Baskı/Yayın Bilgisi: (2006)

Controller Synthesis for Stochastic Systems with Persistent Noise via Semi-definite Programming
Yazar:: Ahmadi, M, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Safety Verification of Asynchronous Pushdown Systems with Shaped Stacks
Yazar:: Kochems, J, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

A Survey on Verification of Security and Safety in IoT Systems
Yazar:: Lobna Abuserrieh, ve diğerleri
Baskı/Yayın Bilgisi: (2024-01-01)

Safety Verification of Networked Control Systems by Complex Zonotopes
Yazar:: Adimoolam, Arvind, ve diğerleri
Baskı/Yayın Bilgisi: (2022-12-01)

An Online Distance Tracker for Verification of Robotic Systems’ Safety
Yazar:: Esra Guclu, ve diğerleri
Baskı/Yayın Bilgisi: (2023-03-01)

SOSTOOLS Version 3.00 Sum of Squares Optimization Toolbox for MATLAB
Yazar:: Papachristodoulou, A, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Generalised absolute stability using Lyapunov functions with relaxed positivity conditions
Yazar:: Drummond, R, ve diğerleri
Baskı/Yayın Bilgisi: (2017)