Sciweavers

2136 search results - page 19 / 428
» Learning Behavior Models for Hybrid Timed Systems
Sort
View
CDC
2008
IEEE
15 years 6 months ago
Suppressing intersample behavior in Iterative Learning Control
— Iterative Learning Control (ILC) is a control strategy to improve the performance of digital batch repetitive processes. Due to its digital implementation, discrete time ILC ap...
Tom Oomen, Jeroen van de Wijdeven, Okko Bosgra
PAMI
2008
183views more  PAMI 2008»
15 years 10 days ago
Shape-and-Behavior Encoded Tracking of Bee Dances
Behavior analysis of social insects has garnered impetus in recent years and has led to some advances in fields like control systems, flight navigation etc. Manual labeling of ins...
Ashok Veeraraghavan, Rama Chellappa, Mandyam Srini...
IWSSD
2000
IEEE
15 years 4 months ago
Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation
This paper reports on a preliminary investigation into applying work on graphic animation of behavioral models to an air traffic control case study – the National Air Traffic Se...
Jeff Magee, Jeff Kramer, Bashar Nuseibeh, David Bu...
HICSS
2009
IEEE
104views Biometrics» more  HICSS 2009»
15 years 7 months ago
A Simple Model for the Reliability of an Infrastructure System Controlled by Agents
A simple dynamic model of agent operation of an infrastructure system is presented. This system evolves over a long time scale by a daily increase in consumer demand that raises t...
Benjamin A. Carreras, David E. Newman, Ian Dobson,...
ATVA
2006
Springer
158views Hardware» more  ATVA 2006»
15 years 4 months ago
Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
Hang Su, Graham Hemingway, Kai Chen, T. John Koo