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 23 days 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...
105
Voted
HYBRID
1999
Springer
15 years 4 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
115
Voted
JUCS
2010
162views more  JUCS 2010»
14 years 7 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...
95
Voted
HICSS
2003
IEEE
138views Biometrics» more  HICSS 2003»
15 years 5 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
DEDS
1998
84views more  DEDS 1998»
15 years 1 days 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...