Time window temporal logic
MetadataShow full item record
Citation (published version)Cristian-Ioan Vasile, Derya Aksaray, Calin Belta. 2017. "Time window temporal logic." THEORETICAL COMPUTER SCIENCE, v. 691, pp. 27 - 54 (28).
This paper introduces time window temporal logic (TWTL), a rich expressive language for describing various time bounded specifications. In particular, the syntax and semantics of TWTL enable the compact representation of serial tasks, which are prevalent in various applications including robotics, sensor systems, and manufacturing systems. This paper also discusses the relaxation of TWTL formulae with respect to the deadlines of the tasks. Efficient automata-based frameworks are presented to solve synthesis, verification and learning problems. The key ingredient to the presented solution is an algorithm to translate a TWTL formula to an annotated finite state automaton that encodes all possible temporal relaxations of the given formula. Some case studies are presented to illustrate the expressivity of the logic and the proposed algorithms.
Rights© 2017 Elsevier B.V. All rights reserved.
Showing items related by title, author, creator and subject.
Contribution of leaf specular reflection to canopy reflectance under black soil case using stochastic radiative transfer model Yang, Bin; Knyazikhin, Yuri; Zhao, Haimeng; Ma, Yuzhong (Elsevier Science BV, 2018-12-15)Numerous canopy radiative transfer models have been proposed based on the assumption of “ideal bi-Lambertian leaves” with the aim of simplifying the interactions between photons and vegetation canopies. This assumption may ...
Integrating archaeology and ancient DNA analysis to address invasive species colonization in the Gulf of Alaska West, Catherine; Hofman, Courtney A.; Ebbert, Steve; Martin, John; Shirazi, Sabrina; Dunning, Samantha; Maldonado, Jesus E. (WILEY, 2017-10-01)The intentional and unintentional movement of plants and animals by humans has transformed ecosystems and landscapes globally. Assessing when and how a species was introduced are central to managing these transformed ...
Petroff, A.; Murphy, J.G.; Thomas, S.C.; Geddes, Jeffrey A. (PERGAMON-ELSEVIER SCIENCE LTD, 2018-10-01)Aerosol fluxes were measured by eddy-correlation for 8 weeks of the summer and fall of 2011 above a temperate broadleaf forest in central Ontario, Canada. These size-resolved measurements apply to particles with optical ...