1681 search results - page 104 / 337 » Formal Design of Distributed Control Systems with Lustre |
APN
2005
Springer
14 years 4 months ago
2005
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models allowing more...
INFORMS
1998
13 years 10 months ago
1998
High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models often requires the generatio...
ICPADS
2002
IEEE
14 years 3 months ago
2002
IEEE
Video-on-demand (VoD) systems have traditionally been built on the client-server architecture, where a video server stores, retrieves, and transmits video data to video clients fo...
IROS
2007
IEEE
14 years 5 months ago
2007
IEEE
— In the field of mobile robotics, trajectory details are seldom taken into account to qualify robot performance. Most metrics rely mainly on global results such as the total ti...
CISS
2008
IEEE
14 years 5 months ago
2008
IEEE
Abstract— We consider a joint randomized scheduling, congestion control mechanism for general wireless networks. We allow for a set of imperfections in the operation of the rando...