Sciweavers

29 search results - page 5 / 6
» Controller synthesis with guaranteed closed-loop phase const...
Sort
View
TROB
2002
64views more  TROB 2002»
13 years 7 months ago
Synthesis of deadlock prevention supervisors using Petri nets
Given an arbitrary Petri net (PN) structure, which may have uncontrollable and unobservable transitions, the deadlock prevention procedure presented here determines a set of linear...
Marian V. Iordache, John O. Moody, Panos J. Antsak...
ICRA
2000
IEEE
130views Robotics» more  ICRA 2000»
13 years 11 months ago
Design and Actuation Optimization of a 4 Axes Biped Robot for Walking and Running
Several french laboratories, joint in the CNRS Project "Control of Legged Robots", have defined a biped robot intented to experiment walking and running gaits. This bipe...
Cambrini Chevallereau, Philippe Sardain
CODES
2008
IEEE
14 years 1 months ago
Distributed flit-buffer flow control for networks-on-chip
The combination of flit-buffer flow control methods and latency-insensitive protocols is an effective solution for networks-on-chip (NoC). Since they both rely on backpressure...
Nicola Concer, Michele Petracca, Luca P. Carloni
ICEIS
2009
IEEE
14 years 2 months ago
MIDAS: A Middleware for Information Systems with QoS Concerns
One of the most difficult tasks in the design of information systems is how to control the behaviour of the back-end storage engine, usually a relational database. As the load on t...
Luís Fernando Orleans, Geraldo Zimbrã...
ICCS
2007
Springer
13 years 11 months ago
Building Verifiable Sensing Applications Through Temporal Logic Specification
Abstract. Sensing is at the core of virtually every DDDAS application. Sensing applications typically involve distributed communication and coordination over large self-organized n...
Asad Awan, Ahmed H. Sameh, Suresh Jagannathan, Ana...