FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Sufficient Conditions for Temporal Logic Specifications in Hybrid Dynamical Systems

Authors: Hyejin Han and Ricardo Sanfelice

Paper Information

Title:Sufficient Conditions for Temporal Logic Specifications in Hybrid Dynamical Systems
Authors:Hyejin Han and Ricardo Sanfelice
Proceedings:ADHS Full papers
Editor: Alessandro Abate
Keywords:aaa, bbb, ccc
Abstract:

ABSTRACT. In this paper, we introduce operators, semantics, and conditions that, when possible, are solution-independent to guarantee basic temporal logic specifications for hybrid dynamical systems. Employing sufficient conditions for forward invariance and finite time attractivity of sets for such systems, we derive such sufficient conditions for the satisfaction of formulas involving temporal operators and atomic propositions. Furthermore, we present how to certify formulas that have more than one operator. Academic examples illustrate the results throughout the paper.

Pages:6
Talk:Jul 11 16:10 (Session 68A: Verification)
Paper: