Sciweavers

2136 search results - page 13 / 428
» Learning Behavior Models for Hybrid Timed Systems
Sort
View
KDD
2005
ACM
192views Data Mining» more  KDD 2005»
16 years 3 months ago
Modeling and predicting personal information dissemination behavior
In this paper, we propose a new way to automatically model and predict human behavior of receiving and disseminating information by analyzing the contact and content of personal c...
Xiaodan Song, Ching-Yung Lin, Belle L. Tseng, Ming...
126
Voted
HYBRID
1999
Springer
15 years 7 months ago
As Soon as Possible: Time Optimal Control for Timed Automata
In this work we tackle the following problem: given a timed automaton, and a target set F of configurations, restrict its transition relation in a systematic way so that from ever...
Eugene Asarin, Oded Maler
JUCS
2010
162views more  JUCS 2010»
14 years 10 months ago
UML Behavior Models of Real-Time Embedded Software for Model-Driven Architecture
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...
Jin Hyun Kim, Jin-Young Choi, Inhye Kang, Insup Le...
HICSS
2003
IEEE
138views Biometrics» more  HICSS 2003»
15 years 8 months ago
The BASP Agent-Based Modeling Framework: Applications, Scenarios and Lessons Learned
The Behavior Action Simulation Platform (BASP) has been in existence since early 2000, when it was first applied to small-team reconnaissance scenarios for the United States Marin...
David S. Dixon, William N. Reynolds
94
Voted
DEDS
1998
84views more  DEDS 1998»
15 years 3 months ago
Reduction of Timed Hybrid Systems
We consider a class of hybrid dynamical systems and obtain conditions under which the behavior of these systems can be reduced to a finite state automaton. Specifically, we consi...
S. Di Gennaro, C. Horn, Sanjeev R. Kulkarni, Peter...