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)