Results 1  10
of
2,837
Approximate Reachability Analysis of PiecewiseLinear Dynamical Systems
, 2000
"... . In this paper we describe an experimental system called d=dt for approximating reachable states for hybrid systems whose continuous dynamics is defined by linear differential equations. We use an approximation algorithm whose accumulation of errors during the continuous evolution is much small ..."
Abstract

Cited by 140 (31 self)
 Add to MetaCart
smaller than in previouslyused methods. The d=dt system can, so far, treat nontrivial continuous systems, hybrid systems, convex differential inclusions and controller synthesis problems. 1 Introduction The problem of calculating reachable states for continuous and hybrid systems has emerged as one
A calculus of mobile processes, I
, 1992
"... We present the acalculus, a calculus of communicating systems in which one can naturally express processes which have changing structure. Not only may the component agents of a system be arbitrarily linked, but a communication between neighbours may carry information which changes that linkage. The ..."
Abstract

Cited by 1184 (31 self)
 Add to MetaCart
We present the acalculus, a calculus of communicating systems in which one can naturally express processes which have changing structure. Not only may the component agents of a system be arbitrarily linked, but a communication between neighbours may carry information which changes that linkage
The WienerAskey Polynomial Chaos for Stochastic Differential Equations
 SIAM J. SCI. COMPUT
, 2002
"... We present a new method for solving stochastic differential equations based on Galerkin projections and extensions of Wiener's polynomial chaos. Specifically, we represent the stochastic processes with an optimum trial basis from the Askey family of orthogonal polynomials that reduces the dime ..."
Abstract

Cited by 398 (42 self)
 Add to MetaCart
the dimensionality of the system and leads to exponential convergence of the error. Several continuous and discrete processes are treated, and numerical examples show substantial speedup compared to MonteCarlo simulations for low dimensional stochastic inputs.
Nontriviality of a discrete BakSneppen evolution model
 J. Stat. Phys
, 2001
"... Consider the following evolution model, proposed in [3] by Bak and Sneppen. Put N vertices on a circle, spaced evenly. Each vertex represents a certain species. We associate with each vertex a random variable, representing the ‘state ’ or ‘fitness ’ of the species, with values in [0,1]. The dynamics ..."
Abstract

Cited by 7 (3 self)
 Add to MetaCart
mentioned above, and also settles a conjecture mentioned in [2]. Our proof is based on a reduction to a continuous time particle system.
Geometric constructions for 3configurations with nontrivial geometric symmetry
"... A geometric 3configuration is a collection of points and straight lines, typically in the Euclidean plane, in which every point has 3 lines passing through it and every line has 3 points lying on it; that is, it is an (n3) configuration for some number n of points and lines. We will say that such c ..."
Abstract
 Add to MetaCart
that such configuration is symmetric if there are nontrivial isometries of the plane that map the configuration to itself. Many symmetric 3configurations may be easily constructed with computer algebra systems using algebraic techniques: e.g., constructing a number of symmetry classes of points and lines, by various
From Timed to Hybrid Systems
"... We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only through age functions which measure the length of the most recent timeinterval in which agiven formula has been continuously t ..."
Abstract

Cited by 173 (16 self)
 Add to MetaCart
true. We then consider hybrid systems, which are systems consisting of a nontrivial mixture of discrete and continuous components, such as a digital controller that controls acontinuous environment. The proposed framework extends the temporal logic approach which has proven useful for the formal
On Limitations of Using Rough Set Approach to Analyse NonTrivial Medical Information Systems
"... The rough set theory has been used to analyse medical experience with urolithiasis patients treated by extracorporeal shock wave lithotripsy (ESWL). The aim of this analysis was to evaluate the significance of attributes for two classifications expressing the patients' condition after the ESWL ..."
Abstract
 Add to MetaCart
treatment and to discover strong decision rules representing classification patterns interesting for practitioners. The ESWL information system is an example of nontrivial medical data set where the use of a simple rough set model gives a high number of possible reducts which are impossible to interpret
On Task Schedulability in RealTime Control Systems
, 1996
"... Most realtime computercontrolled systems are built in two separate steps, each in isolation: controller design and its digital implementation. Computational tasks that realize the control algorithms are usually scheduled by treating their execution times and periods as unchangeable parameters. Tas ..."
Abstract

Cited by 182 (11 self)
 Add to MetaCart
Most realtime computercontrolled systems are built in two separate steps, each in isolation: controller design and its digital implementation. Computational tasks that realize the control algorithms are usually scheduled by treating their execution times and periods as unchangeable parameters
Streaming Queries over Streaming Data
, 2002
"... Recent work on querying data streams has focused on systems where newly arriving data is processed and continuously streamed to the user in realtime. In many emerging applications, however, ad hoc queries and/or intermittent connectivity also require the processing of data that arrives prior ..."
Abstract

Cited by 143 (8 self)
 Add to MetaCart
to query submission or during a period of disconnection. For such applications, we have developed PSoup, a system that combines the processing of adhoc and continuous queries by treating data and queries symmetrically, allowing new queries to be applied to old data and new data to be applied to old
Efficient isolation and propagation of human immunodeficiency virus on recombinant colonystimulating factor 1treated monocytes
, 1988
"... Infection with the human immunodeficiency virus (HIV) (13) often results in clinically apparent disease only after intervals of months to years. During this latent or subclinical phase of infection, HIV continues to replicate at low levels despite an often vigorous but apparently ineffective host i ..."
Abstract

Cited by 108 (19 self)
 Add to MetaCart
Infection with the human immunodeficiency virus (HIV) (13) often results in clinically apparent disease only after intervals of months to years. During this latent or subclinical phase of infection, HIV continues to replicate at low levels despite an often vigorous but apparently ineffective host
Results 1  10
of
2,837