Checking Temporal Duration Properties of timed automata

2002 ◽  
Vol 17 (6) ◽  
pp. 689-698 ◽  
Author(s):  
Yong Li ◽  
Hung Van Dang
2011 ◽  
Vol 34 (8) ◽  
pp. 1365-1377 ◽  
Author(s):  
Li-Xing LI ◽  
Zhi JIN ◽  
Ge LI

Author(s):  
Asta Cekaite

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.


2020 ◽  
Vol 53 (2) ◽  
pp. 1918-1923
Author(s):  
Mustafa Yavuz Kara ◽  
Ebru Aydin Gol

2020 ◽  
Author(s):  
Tamás Tóth ◽  
István Majzik

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.


Kant-Studien ◽  
2019 ◽  
Vol 110 (3) ◽  
pp. 498-511
Author(s):  
Truls Wyller

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).


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

Sign in / Sign up

Export Citation Format

Share Document