Disturbance Bounds for Signal Temporal Logic Task Satisfaction: A Dynamics Perspective

Simultaneous model identification and task satisfaction in the presence of temporal logic constraints

2016 IEEE International Conference on Robotics and Automation (ICRA) ◽

10.1109/icra.2016.7487553 ◽

2016 ◽

Cited By ~ 2

Author(s):

Sandeep P. Chinchali ◽

Scott C. Livingston ◽

Marco Pavone ◽

Joel W. Burdick

Keyword(s):

Temporal Logic ◽

Model Identification ◽

Task Satisfaction ◽

Simultaneous Model ◽

And Task

Download Full-text

The Effects of Mood on Task Performance and Task Satisfaction

Psi Chi Journal of Psychological Research ◽

10.24839/1089-4136.jn2.4.127 ◽

1997 ◽

Vol 2 (4) ◽

pp. 127-132

Author(s):

Doreen Cicchetti ◽

Kathleen Moyer ◽

Jeffrey P. Nicholas

Keyword(s):

Task Performance ◽

Task Satisfaction ◽

And Task

Download Full-text

Anticipating Nostalgia:Finding Temporal Logic in Textual Anomaly

Textual Cultures ◽

10.2979/tex.2009.4.1.72 ◽

2009 ◽

Vol 4 (1) ◽

pp. 72-83 ◽

Cited By ~ 4

Author(s):

Linda Charnes

Keyword(s):

Temporal Logic

Download Full-text

Alternating-time temporal logic with strong and weak exceptions

Journal of Computer Applications ◽

10.3724/sp.j.1087.2008.02874 ◽

2009 ◽

Vol 28 (11) ◽

pp. 2874-2876 ◽

Cited By ~ 1

Author(s):

Xian-wei LAI ◽

Shan-li HU ◽

Zheng-yuan NING ◽

Xiu-li WANG

Keyword(s):

Temporal Logic

Download Full-text

Specifying Message Passing and Time-Critical Systems with Temporal Logic

10.1007/3-540-56283-4 ◽

1992 ◽

Cited By ~ 51

Keyword(s):

Temporal Logic ◽

Message Passing ◽

Critical Systems ◽

Time Critical

Download Full-text

Peristrephic Visions

10.1093/oso/9780190682088.003.0003 ◽

2017 ◽

Author(s):

Michael Germana

Keyword(s):

Temporal Logic ◽

White Supremacist ◽

Invisible Man ◽

The Future

Chapter 2 examines Ralph Ellison’s Invisible Man as a text that ekphrastically simulates a moving or “peristrephic” panorama in general, and an antebellum antislavery panorama in particular. In the process, this chapter reads Ellison’s debut novel as a text indebted to and allusive of, while ironically commenting on, the life and career of celebrated fugitive and peristrephic panoramist Henry Box Brown, who shipped himself in a sealed wooden crate from Richmond to Philadelphia and thus from slavery to freedom in 1849. Brown’s subsequent efforts to navigate the terrain of abolitionist discourse within a white supremacist culture led him to create a moving panorama called the Mirror of Slavery, which chronicled the cruelties of slavery, yet ended with the promise of universal emancipation. In appropriating the visual grammar of the antislavery panorama, Ellison also extends its ambivalent temporal logic to create his own alternative history in service of the future.

Download Full-text

Specification of Intelligent Controllers for Discrete Event Systems in a Temporal Logic Framework

IFAC Proceedings Volumes ◽

10.1016/s1474-6670(17)49868-5 ◽

1992 ◽

Vol 25 (20) ◽

pp. 237-242

Author(s):

Dan Ionescu ◽

Jing-Yue Lin ◽

Hyung Soo Hwang

Keyword(s):

Temporal Logic ◽

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

Intelligent Controllers

Download Full-text

Towards the Temporal Approach to Abstract Data Types

Fundamenta Informaticae ◽

10.3233/fi-1988-11105 ◽

1988 ◽

Vol 11 (1) ◽

pp. 49-63

Author(s):

Andrzej Szalas

Keyword(s):

Temporal Logic ◽

Abstract Data Types ◽

Data Types ◽

First Order ◽

Abstract Data ◽

Order Completeness ◽

General Method

In this paper we deal with a well known problem of specifying abstract data types. Up to now there were many approaches to this problem. We follow the axiomatic style of specifying abstract data types (cf. e.g. [1, 2, 6, 8, 9, 10]). We apply, however, the first-order temporal logic. We introduce a notion of first-order completeness of axiomatic specifications and show a general method for obtaining first-order complete axiomatizations. Some examples illustrate the method.

Download Full-text