Checking Temporal Duration Properties of timed automata

2002 ◽  
Vol 17 (6) ◽  
pp. 689-698 ◽  
Author(s):  
Yong Li ◽  
Hung Van Dang
Keyword(s):  
Timed Automata ◽  
Temporal Duration

Modeling and Verifying Services of Internet of Things Based on Timed Automata

2011 ◽  
Vol 34 (8) ◽  
pp. 1365-1377 ◽  
Author(s):  
Li-Xing LI ◽  
Zhi JIN ◽  
Ge LI
Keyword(s):  
Internet Of Things ◽  
Timed Automata

scholarly journals Subversive compliance and embodiment in remedial interchanges

2020 ◽  
Vol 40 (5) ◽  
pp. 669-693
Author(s):  
Asta Cekaite
Keyword(s):  
Primary School ◽  
Adult Child ◽  
First Grade ◽  
Moral Emotion ◽  
Multiple Modalities ◽  
Temporal Duration ◽  
One Year

AbstractThis study examines normativity of affect and the affective embeddedness of normativity, instantiated as verbal and embodied stances taken by the participants in adult-child remedial interchanges. The data are based on one year of video fieldwork in a first-grade class at a Swedish primary school. An ethnographically informed analysis of talk and multimodal action is adopted. The findings show that the children’s affective and normative transgressions provided discursive spaces for adult moral instructions and socialization. However, the children’s compliant responses were resistant and subversive. They were designed as embodied double-voiced acts that indexed incongruent affective and moral stances. The findings further revealed several ways of configuring embodied double-voiced responses. The children juxtaposed multiple modalities and exploited the expectations of what constitutes appropriate temporal duration, timing, and shape of nonverbal responses. They (i) combined up-scaled verbal and embodied hyperbolic rhetoric when the teachers’ talk required but minimal responses, and (ii) configured antithetical affect displays, e.g., crying and smiling, or overlaid bodily displays of moral emotion (sadness, seriousness, and smiling) with aligning but exaggerated gestures and movements. Subversive, embodied double-voiced responses simultaneously acquiesced with and deflected the responsibility and effectively derailed a successful closure of remedial interchange.

scholarly journals Priced Timed Automata Models for Control of Intelligent Product Agents in Manufacturing Systems

2020 ◽  
Vol 53 (4) ◽  
pp. 136-142
Author(s):  
Ilya Kovalenko ◽  
Dawn Tilbury ◽  
Kira Barton
Keyword(s):  
Manufacturing Systems ◽  
Timed Automata ◽  
Intelligent Product

scholarly journals Adaptive Cruise Control with Timed Automata

2020 ◽  
Vol 53 (2) ◽  
pp. 1918-1923
Author(s):  
Mustafa Yavuz Kara ◽  
Ebru Aydin Gol
Keyword(s):  
Adaptive Cruise Control ◽  
Timed Automata ◽  
Cruise Control

scholarly journals Configurable verification of timed automata with discrete variables

2020 ◽  
Author(s):  
Tamás Tóth ◽  
István Majzik
Keyword(s):  
Timed Automata ◽  
Empirical Evaluation ◽  
Real Time Systems ◽  
Discrete Variables ◽  
Reachability Problem ◽  
Abstraction Refinement ◽  
Dependent Behavior ◽  
Wide Range ◽  
Time Systems ◽  
Lazy Abstraction

AbstractAlgorithms and protocols with time dependent behavior are often specified formally using timed automata. For practical real-time systems, besides real-valued clock variables, these specifications typically contain discrete data variables with nontrivial data flow. In this paper, we propose a configurable lazy abstraction framework for the location reachability problem of timed automata that potentially contain discrete variables. Moreover, based on our previous work, we uniformly formalize in our framework several abstraction refinement strategies for both clock and discrete variables that can be freely combined, resulting in many distinct algorithm configurations. Besides the proposed refinement strategies, the configurability of the framework allows the integration of existing efficient lazy abstraction algorithms for clock variables based on $${\textit{LU}}$$ LU -bounds. We demonstrate the applicability of the framework and the proposed refinement strategies by an empirical evaluation on a wide range of timed automata models, including ones that contain discrete variables or diagonal constraints.

scholarly journals Kant On Temporal Extension: Embodied, Indexical Idealism

Kant-Studien ◽  
2019 ◽  
Vol 110 (3) ◽  
pp. 498-511
Author(s):  
Truls Wyller
Keyword(s):  
Human Subjects ◽  
Transcendental Idealism ◽  
Spatial Objects ◽  
Temporal Duration ◽  
Kantian View ◽  
Laws Of Motion ◽  
Second Analogy

Abstract I defend what I take to be a genuinely Kantian view on temporal extension: time is not an object but a human horizon of concrete particulars. As such, time depends on the existence of embodied human subjects. It does not, however, depend on those subjects determined as spatial objects. Starting with a realist notion of “apperception” as applied to indexical space (1), I proceed with the need for external criteria of temporal duration (2). In accordance with Kant’s Second Analogy of Experience, these criteria are found in concepts and laws of motion and change (3). I then see what follows from this for a reasonable notion of transcendental idealism (4). Finally, in support of my Kantian conclusions, I argue for the transcendentally subjective nature of particular temporal extension (5).

Systematic generation of cyclic operating procedures based on timed automata

2014 ◽  
Vol 92 (1) ◽  
pp. 139-155 ◽  
Author(s):  
Jeh-Hsuan Li ◽  
Chuei-Tin Chang ◽  
Da Jiang
Keyword(s):  
Timed Automata
Sign in / Sign up

Export Citation Format

Share Document