227
click to vote
HYBRID
16 years 29 days ago
2004 Springer 
Abstract. Biological systems involving genetic reactions are large discrete event systems, and often contain certain species that occur in small quantities, and others that occur i...
220
Voted
HYBRID
16 years 29 days ago
2004 Springer 
Abstract. An invariant of a system is a predicate that holds for every reachable state. In this paper, we present techniques to generate invariants for hybrid systems. This is achi...
215
click to vote
HYBRID
16 years 29 days ago
2004 Springer
We present a parameter inference algorithm for autonomous stochastic linear hybrid systems, which computes a maximum-likelihood model, given only a set of continuous output data of...
214
click to vote
SACMAT
16 years 1 months ago
2004 ACM
In order to provide a general access control methodology for parts of XML documents, we propose combining rolebased access control as found in the Role Graph Model, with a methodo...
211
click to vote
SACMAT
16 years 1 months ago
2004 ACM 
Ubiquitous computing uses a variety of information for which access needs to be controlled. For instance, a person’s current location is a sensitive piece of information, which ...
|
Control Systems