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...

Полное описание

Библиографические подробности
Главные авторы:	Ahmadi, M, Valmorbida, G, Papachristodoulou, A
Формат:	Journal article
Опубликовано:	Elsevier 2017

Схожие документы

Semi-definite programming and functional inequalities for Distributed Parameter Systems
по: Valmorbida, G, и др.
Опубликовано: (2014)

Barrier Functionals for Output Functional Estimation of PDEs
по: Ahmadi, M, и др.
Опубликовано: (2014)

Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates.
по: Glavaski, S, и др.
Опубликовано: (2005)

Distributed safety verification for multi-agent systems
по: Wang, H, и др.
Опубликовано: (2023)

Distributed control design and safety verification for multi-agent systems
по: Wang, H, и др.
Опубликовано: (2024)

Explicit solutions for safety problems using control barrier functions
по: Wang, H, и др.
Опубликовано: (2023)

Enhanced frameworks for safety verification of autonomous rendezvous systems
по: Maier, C, и др.
Опубликовано: (2010)

Safety verification and controller synthesis for systems with input constraints
по: Wang, H, и др.
Опубликовано: (2023)

Stability analysis for a class of partial differential equations via semidefinite programming
по: Valmorbida, G, и др.
Опубликовано: (2015)

Dissipation inequalities for the analysis of a class of PDEs
по: Ahmadi, M, и др.
Опубликовано: (2016)

A contract negotiation scheme for safety verification of interconnected systems
по: Tan, X, и др.
Опубликовано: (2024)

Controlled hybrid system safety verification: Advanced life support system testbed
по: Glavaski, S, и др.
Опубликовано: (2005)

State-feedback design for nonlinear saturating systems
по: Valmorbida, G, и др.
Опубликовано: (2021)

A framework for input–output analysis of wall-bounded shear flows
по: Ahmadi, M, и др.
Опубликовано: (2019)

Software and Systems Safety − Specification and Verification
Опубликовано: (2011)

Temporal verification of reactive systems : safety /
по: 179321 Manna, Zohar, и др.
Опубликовано: (1995)

Neural network verification using polynomial optimisation
по: Newton, M, и др.
Опубликовано: (2022)

A Nonlinear Hybrid Life Support System: Dynamic Modeling, Control Design, and Safety Verification.
по: Glavaski, S, и др.
Опубликовано: (2007)

Online policy iterations for optimal control of input-saturated systems
по: Baldi, S, и др.
Опубликовано: (2016)

Formal verification of safety-critical hybrid systems
по: Livadas, Carolos
Опубликовано: (2008)

Formal Verification of Safety-Critical Hybrid Systems
по: Livadas, Carolos
Опубликовано: (2023)

An optimization-based method for bounding state functionals of nonlinear stochastic systems
по: Papachristodoulou, A, и др.
Опубликовано: (2016)

Safety requirements for child safety barriers for domestic use
по: 8096 British Standards Institution

Safety verification of output feedback controllers for nonlinear systems
по: Abate, A, и др.
Опубликовано: (2017)

Verification and validation of safety related software
по: Arno, Matthew G. (Matthew Gordon)
Опубликовано: (2006)

Exploiting sparsity for neural network verification
по: Newton, M, и др.
Опубликовано: (2021)

Convex co-design of control barrier functions and feedback controllers for linear systems
по: Wang, H, и др.
Опубликовано: (2024)

Modular Verification of Distributed Systems with Grove
по: Sharma, Upamanyu
Опубликовано: (2023)

Safety verification of deep neural networks
по: Huang, X, и др.
Опубликовано: (2017)

Safety Verification of Asynchronous Pushdown Systems with Shaped Stacks
по: Kochems, J, и др.
Опубликовано: (2013)

A functional failure detection method for semiconductor design safety verification
по: Hai, Zhuoran
Опубликовано: (2023)

Sparse polynomial optimisation for neural network verification
по: Newton, M, и др.
Опубликовано: (2023)

Unbounded Safety Verification for Hardware Using Software Analyzers
по: Mukherjee, R, и др.
Опубликовано: (2015)

Positivity conditions of Lyapunov functions for systems with slope restricted nonlinearities
по: Valmorbida, G, и др.
Опубликовано: (2016)

Unmatched Control Barrier Functions: Certainty Equivalence Adaptive Safety
по: Lopez, Brett T., и др.
Опубликовано: (2024)

Safety verification for automated vehicle maneuvers
по: Dolginova, Ekaterina, 1977-
Опубликовано: (2009)

FPGA based functional verification system /
по: 264154 Lee, Siaw Cheng
Опубликовано: (2006)

Distributed verification and hardness of distributed approximation
по: Sarma, Atish Das., и др.
Опубликовано: (2013)

Analysis of developed transition road safety barrier systems
по: Soltani, M., и др.
Опубликовано: (2013)

Generalised absolute stability using Lyapunov functions with relaxed positivity conditions
по: Drummond, R, и др.
Опубликовано: (2017)