Sciweavers

2136 search results - page 24 / 428
» Learning Behavior Models for Hybrid Timed Systems
Sort
View
94
Voted
AUTOMATICA
2002
96views more  AUTOMATICA 2002»
15 years 9 days ago
A hybrid control approach to action coordination for mobile robots
In this paper, the problem concerning how to coordinate the contributions from concurrent controllers, when controlling mobile robots, is investigated. It is shown how a behavior ...
Magnus Egerstedt, Xiaoming Hu
ENDM
2000
174views more  ENDM 2000»
15 years 7 days ago
Hybrid Constraints in Automated Model Synthesis and Model Processing
Both parametric design tasks and analysis tasks of technical systems have a similar problem setting: The structure of the system to be configured or analyzed is defined already. W...
Klaus-Ulrich Leweling, Benno Stein
98
Voted
HYBRID
2000
Springer
15 years 4 months ago
Modular Specification of Hybrid Systems in CHARON
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar, ...
LISA
2000
15 years 1 months ago
Aberrant Behavior Detection in Time Series for Network Monitoring
The open-source software RRDtool and Cricket provide a solution to the problem of collecting, storing, and visualizing service network time series data for the real-time monitorin...
Jake D. Brutlag
116
Voted
AUTOMATICA
2006
110views more  AUTOMATICA 2006»
15 years 14 days ago
Solutions to hybrid inclusions via set and graphical convergence with stability theory applications
Motivated by questions in stability theory for hybrid dynamical systems, we establish some fundamental properties of the set of solutions to such systems. Using the notion of a hy...
Rafal Goebel, Andrew R. Teel