scholarly journals A Smooth Robustness Measure of Signal Temporal Logic for Symbolic Control

2021 ◽  
Vol 5 (1) ◽  
pp. 241-246 ◽  
Author(s):  
Yann Gilpin ◽  
Vince Kurtz ◽  
Hai Lin
2021 ◽  
Vol 01 (02) ◽  
pp. 2150008
Author(s):  
Rafael Rodrigues da Silva ◽  
Vince Kurtz ◽  
Hai Lin

In safety-critical systems, it is desirable to automatically synthesize controllers for complex tasks with guaranteed safety and correctness. Although much progress has been made through controller synthesis from temporal logic specifications, existing approaches generally require conservative assumptions and do not scale well with system dimensionality. We propose a scalable, provably complete algorithm that synthesizes continuous trajectories for hybrid systems to satisfy temporal logic specifications. Specifically, we harness highly efficient Boolean satisfiability (SAT) and Linear Programming (LP) solvers to find trajectories that satisfy non-convex Signal Temporal Logic (STL) specifications for a class of high dimensional hybrid systems. The proposed design algorithms are proven sound and complete, and are validated in simulation experiments.


2009 ◽  
Vol 28 (11) ◽  
pp. 2874-2876 ◽  
Author(s):  
Xian-wei LAI ◽  
Shan-li HU ◽  
Zheng-yuan NING ◽  
Xiu-li WANG
Keyword(s):  

Author(s):  
Michael Germana

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.


1988 ◽  
Vol 11 (1) ◽  
pp. 49-63
Author(s):  
Andrzej Szalas

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.


2004 ◽  
Vol XXIV (1) ◽  
pp. 17-24 ◽  
Author(s):  
S. Evangelista ◽  
C. Kaiser ◽  
J. F. Pradat-Peyre ◽  
P. Rousseau

Sign in / Sign up

Export Citation Format

Share Document