Sciweavers

14190 search results - page 146 / 2838
» Abstractions for hybrid systems
Sort
View
HYBRID
2005
Springer
16 years 33 min ago
Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Order
In this paper, a cascade discrete-continuous state estimator on a partial order is proposed and its existence investigated. The continuous state estimation error is bounded by a mo...
Domitilla Del Vecchio, Richard M. Murray
HYBRID
2000
Springer
15 years 10 months ago
Decidable Controller Synthesis for Classes of Linear Systems
A problem of great interest in the control of hybrid systems is the design of least restrictive controllers for reachability specifications. Controller design typically uses game t...
Omid Shakernia, Shankar Sastry, George J. Pappas
KES
2005
Springer
15 years 12 months ago
Using Recommendation to Improve Negotiations in Agent-Based Systems
: In this paper we present research works on non-intuitive and low-efficient negotiations between agents in agent based system. We find recommendation techniques as a suitable meth...
Mateusz Lenar, Janusz Sobecki
IPPS
2003
IEEE
15 years 11 months ago
Architectural Frameworks for MPP Systems on a Chip
Advances in fabrication techniques are now enabling new hybrid CPU/FPGA computing resources to be integrated onto a single chip. While these new hybrids promise significant perfor...
David L. Andrews, Douglas Niehaus
ICCV
2007
IEEE
16 years 24 days ago
Interactive Feedback for Video Tracking Using a Hybrid Maximum Likelihood Similarity Measure
In this article, we present an object tracking system which allows interactive user feedback to improve the accuracy of the tracking process in real-time video. In addition, we des...
Ard Oerlemans, Bart Thomee