Results 1  10
of
82
Parametric Timed Automaton Parametric Timed Automaton
, 2012
"... Finite state automaton (sets of locations) and actions) I A set X of clocks (i.e., realvalued variables evolving linearly at the same rate) I A set P of parameters (i.e., unknown constants), used in guards and invariants Features I Location invariant: property to be verified by the clocks to stay a ..."
Abstract
 Add to MetaCart
Finite state automaton (sets of locations) and actions) I A set X of clocks (i.e., realvalued variables evolving linearly at the same rate) I A set P of parameters (i.e., unknown constants), used in guards and invariants Features I Location invariant: property to be verified by the clocks to stay
The Most General Conservation Law for a Cellular Automaton
"... Abstract. We study the groupvalued and semigroupvalued conservation laws in cellular automata (CA). We provide examples to distinguish between semigroupvalued, groupvalued and realvalued conservation laws. We prove that, even in onedimensional case, it is undecidable if a CA has any nontrivia ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
Abstract. We study the groupvalued and semigroupvalued conservation laws in cellular automata (CA). We provide examples to distinguish between semigroupvalued, groupvalued and realvalued conservation laws. We prove that, even in onedimensional case, it is undecidable if a CA has any non
The Weighted Finite Automaton Inference Problem
, 1995
"... Weighted finite automata (WFA) were introduced as a device for generating and transforming pixel images. The inference problem is the determination of a WFA that generates a given image. There are two basic results in this paper. First, a general solution to the inference problem is given which alwa ..."
Abstract
 Add to MetaCart
for generating and transforming pixel images. WFA have also been used as a means for computing real valued functions [3]. There are several papers reporting a continuing investigation into WFA based image processing, e.g., [4, 6, 2]. As will be seen shortly, WFA are a simple extension of the usual notion
Study on Fault Feature Extraction of HighSpeed Automaton
, 2013
"... In order to effectively extract the weak fault feature of highspeed automaton (HSA) in the environment with strong noises, a method of fault feature extraction was proposed based on wavelet packet energy entropy and fuzzy clustering algorithm. In this paper, wavelet packet was utilized to denoise t ..."
Abstract
 Add to MetaCart
identification and diagnosis. The fault feature extraction method can also provide a certain engineering application value for realtime monitoring and early fault diagnosis of this type HSA.
Density Waves and Jamming Transition in Cellular Automaton Models for Traffic Flow
"... . In this paper computer simulation results of higherorder density correlations for cellular automaton models of traffic flow are presented. The examinations show the jamming transition as a function of both the density and the magnitude of noise and allow one to calculate the velocity of upstream ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
. In this paper computer simulation results of higherorder density correlations for cellular automaton models of traffic flow are presented. The examinations show the jamming transition as a function of both the density and the magnitude of noise and allow one to calculate the velocity of upstream
GENERATING TEST CASES FOR A TIMED I/O AUTOMATON MODEL
"... Abstract Recently various realtime communication protocols have been proposed. In this paper, first, we propose a timed I/O automaton model so that we can simply specify such realtime protocols. The proposed model can handle not only time but also data values. Then, we propose a conformance testin ..."
Abstract
 Add to MetaCart
Abstract Recently various realtime communication protocols have been proposed. In this paper, first, we propose a timed I/O automaton model so that we can simply specify such realtime protocols. The proposed model can handle not only time but also data values. Then, we propose a conformance
Algorithmic analysis of nonlinear hybrid systems
 in Proc. CAV 95: Computeraided Verification, Lecture Notes in Computer Science
, 1995
"... Abstract—Hybrid systems are digital realtime systems that are embedded in analog environments. Modelchecking tools are available for the automatic analysis of linear hybrid automata, whose environment variables are subject to piecewiseconstant polyhedral differential inclusions. In most embedded ..."
Abstract

Cited by 138 (13 self)
 Add to MetaCart
systems, however, the environment variables have differential inclusions that vary with the values of the variables, e.g., _x = x. Such inclusions are prohibited in the linear hybrid automaton model. We present two methods for translating nonlinear hybrid systems into linear hybrid automata. Properties
Reducing the Number of Clock Variables of Timed Automata
 Proc. RTSS'96, 7381, IEEE
, 1996
"... We propose a method for reducing the number of clocks of a timed automaton by combining two algorithms. The first one consists in detecting active clocks, that is, those clocks whose values are relevant for the evolution of the system. The second one detects sets of clocks that are always equal. We ..."
Abstract

Cited by 77 (7 self)
 Add to MetaCart
automata [3, 13], are automata extended with a finite set of realvalued clocks that proceed at a uniform rate and constrain the times at which transitions occur. Since the time component makes the underlying transition system to be infinite, verification algorithms depend on the construction of a finite
Verification of Linear Hybrid Systems By Means of Convex Approximations
, 1994
"... We present a new application of the abstract interpretation by means of convex polyhedra, to a class of hybrid systems, i.e., systems involving both discrete and continuous variables. The result is an efficient automatic tool for approximate, but conservative, verification of reachability propert ..."
Abstract

Cited by 94 (2 self)
 Add to MetaCart
properties of these systems. 1 Introduction Timed automata [AD90] have been recently introduced to model realtime systems. A timed automaton is a finite automaton associated with a finite set of clocks, each clock counting the continuous elapsing of time. Each transition of the automaton can be guarded
Materials for an exploratory theory of the network society.
 The British Journal of Sociology
, 2000
"... ABSTRACT This article aims at proposing some elements for a grounded theor y of the network society. The network society is the social structure characteristic of the Information Age, as tentatively identi ed by empirical, crosscultural investigation. It permeates most societies in the world, in v ..."
Abstract

Cited by 122 (0 self)
 Add to MetaCart
of her/his/their action. The consolidation of shared meaning through cr ystallization of practices in spatiotemporal con gurations creates cultures, that is systems of values and beliefs informing codes of behaviour. There is no systemic dominance in this matrix of relationships. There are all layers
Results 1  10
of
82