8190 search results - page 179 / 1638 » From Timed to Hybrid Systems |
167
click to vote
CSREAEEE
2006
15 years 7 months ago
2006
- Recommender systems provide personalized recommendations on products or services to customers. Collaborative filtering is a widely used method of providing recommendations based ...
141
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
In this paper we solve the general problem of designing a feedback controller to reach a set of facets of an n-dimensional simplex in finite time, for a system evolving with linea...
211
click to vote
RTAS
2003
IEEE
15 years 11 months ago
2003
IEEE
Building distributed embedded systems from scratch is not cost-effective. Instead, designing and building these systems by using domain specific components has promise. However, i...
177
click to vote
ICSE
1998
IEEE-ACM
15 years 10 months ago
1998
IEEE-ACM
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...
153
click to vote
FORMATS
2004
Springer
15 years 11 months ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...