Sciweavers

14190 search results - page 38 / 2838
» Abstractions for hybrid systems
Sort
View
HYBRID
2000
Springer
15 years 3 months ago
Invariant Sets and Control Synthesis for Switching Systems with Safety Specifications
Luca Berardi, Elena De Santis, Maria Domenica Di B...
HYBRID
2001
Springer
15 years 4 months ago
Optimal Paths in Weighted Timed Automata
Rajeev Alur, Salvatore La Torre, George J. Pappas
HYBRID
1995
Springer
15 years 3 months ago
The Tool KRONOS
Conrado Daws, Alfredo Olivero, Stavros Tripakis, S...
ICRA
2003
IEEE
163views Robotics» more  ICRA 2003»
15 years 5 months ago
An experimental study of hybrid switched system approaches to visual servoing
Abstract— In the recent past, many researchers have developed control algorithms for visual servo applications. In this paper, we introduce a new hybrid switched system approach,...
Nicholas R. Gans, Seth Hutchinson
ICDCS
2010
IEEE
15 years 3 months ago
A Hybrid Approach to High Availability in Stream Processing Systems
Abstract—Stream processing is widely used by today’s applications such as financial data analysis and disaster response. In distributed stream processing systems, machine fail...
Zhe Zhang, Yu Gu, Fan Ye, Hao Yang, Minkyong Kim, ...