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

Bibliografski detalji
Glavni autori:	Ahmadi, M, Valmorbida, G, Papachristodoulou, A
Format:	Journal article
Izdano:	Elsevier 2017

Slični predmeti

Semi-definite programming and functional inequalities for Distributed Parameter Systems
od: Valmorbida, G, i dr.
Izdano: (2014)

Barrier Functionals for Output Functional Estimation of PDEs
od: Ahmadi, M, i dr.
Izdano: (2014)

Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates.
od: Glavaski, S, i dr.
Izdano: (2005)

Distributed safety verification for multi-agent systems
od: Wang, H, i dr.
Izdano: (2023)

Distributed control design and safety verification for multi-agent systems
od: Wang, H, i dr.
Izdano: (2024)

Explicit solutions for safety problems using control barrier functions
od: Wang, H, i dr.
Izdano: (2023)

Enhanced frameworks for safety verification of autonomous rendezvous systems
od: Maier, C, i dr.
Izdano: (2010)

Safety verification and controller synthesis for systems with input constraints
od: Wang, H, i dr.
Izdano: (2023)

Stability analysis for a class of partial differential equations via semidefinite programming
od: Valmorbida, G, i dr.
Izdano: (2015)

Dissipation inequalities for the analysis of a class of PDEs
od: Ahmadi, M, i dr.
Izdano: (2016)

A contract negotiation scheme for safety verification of interconnected systems
od: Tan, X, i dr.
Izdano: (2024)

Controlled hybrid system safety verification: Advanced life support system testbed
od: Glavaski, S, i dr.
Izdano: (2005)

State-feedback design for nonlinear saturating systems
od: Valmorbida, G, i dr.
Izdano: (2021)

A framework for input–output analysis of wall-bounded shear flows
od: Ahmadi, M, i dr.
Izdano: (2019)

Software and Systems Safety − Specification and Verification
Izdano: (2011)

Temporal verification of reactive systems : safety /
od: 179321 Manna, Zohar, i dr.
Izdano: (1995)

Neural network verification using polynomial optimisation
od: Newton, M, i dr.
Izdano: (2022)

A Nonlinear Hybrid Life Support System: Dynamic Modeling, Control Design, and Safety Verification.
od: Glavaski, S, i dr.
Izdano: (2007)

Online policy iterations for optimal control of input-saturated systems
od: Baldi, S, i dr.
Izdano: (2016)

Formal verification of safety-critical hybrid systems
od: Livadas, Carolos
Izdano: (2008)

Formal Verification of Safety-Critical Hybrid Systems
od: Livadas, Carolos
Izdano: (2023)

An optimization-based method for bounding state functionals of nonlinear stochastic systems
od: Papachristodoulou, A, i dr.
Izdano: (2016)

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

Safety verification of output feedback controllers for nonlinear systems
od: Abate, A, i dr.
Izdano: (2017)

Verification and validation of safety related software
od: Arno, Matthew G. (Matthew Gordon)
Izdano: (2006)

Exploiting sparsity for neural network verification
od: Newton, M, i dr.
Izdano: (2021)

Convex co-design of control barrier functions and feedback controllers for linear systems
od: Wang, H, i dr.
Izdano: (2024)

Modular Verification of Distributed Systems with Grove
od: Sharma, Upamanyu
Izdano: (2023)

Safety verification of deep neural networks
od: Huang, X, i dr.
Izdano: (2017)

Safety Verification of Asynchronous Pushdown Systems with Shaped Stacks
od: Kochems, J, i dr.
Izdano: (2013)

A functional failure detection method for semiconductor design safety verification
od: Hai, Zhuoran
Izdano: (2023)

Sparse polynomial optimisation for neural network verification
od: Newton, M, i dr.
Izdano: (2023)

Unbounded Safety Verification for Hardware Using Software Analyzers
od: Mukherjee, R, i dr.
Izdano: (2015)

Positivity conditions of Lyapunov functions for systems with slope restricted nonlinearities
od: Valmorbida, G, i dr.
Izdano: (2016)

Unmatched Control Barrier Functions: Certainty Equivalence Adaptive Safety
od: Lopez, Brett T., i dr.
Izdano: (2024)

Safety verification for automated vehicle maneuvers
od: Dolginova, Ekaterina, 1977-
Izdano: (2009)

FPGA based functional verification system /
od: 264154 Lee, Siaw Cheng
Izdano: (2006)

Distributed verification and hardness of distributed approximation
od: Sarma, Atish Das., i dr.
Izdano: (2013)

Analysis of developed transition road safety barrier systems
od: Soltani, M., i dr.
Izdano: (2013)

Generalised absolute stability using Lyapunov functions with relaxed positivity conditions
od: Drummond, R, i dr.
Izdano: (2017)