Sciweavers

2136 search results - page 44 / 428
» Learning Behavior Models for Hybrid Timed Systems
Sort
View
DSRT
2008
IEEE
15 years 7 months ago
Modeling System Security Rules with Time Constraints Using Timed Extended Finite State Machines
Security and reliability are of paramount importance in designing and building real-time systems because any security failure can put the public and the environment at risk. In th...
Wissam Mallouli, Amel Mammar, Ana R. Cavalli
92
Voted
AI
2007
Springer
15 years 19 days ago
Multi-agent learning and the descriptive value of simple models
Behavioral research suggests that human learning in some multi-agent systems can be predicted with surprisingly simple “foresight-free” models. The current note discusses the ...
Ido Erev, Alvin E. Roth
CVPR
2007
IEEE
16 years 2 months ago
Hybrid learning of large jigsaws
A jigsaw is a recently proposed generative model that describes an image as a composition of non-overlapping patches of varying shape, extracted from a latent image. By learning t...
Julia A. Lasserre, Anitha Kannan, John M. Winn
109
Voted
MAM
2008
138views more  MAM 2008»
15 years 14 days ago
FPGA based tester tool for hybrid real-time systems
This paper presents a design methodology for a hybrid Hardwarein-the-Loop (HIL) tester tool, based on both discrete event system theory, given by timed automata, and continuous sy...
Jan Krakora, Zdenek Hanzálek
HYBRID
2007
Springer
15 years 6 months ago
Robust Test Generation and Coverage for Hybrid Systems
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
A. Agung Julius, Georgios E. Fainekos, Madhukar An...