Sciweavers

3565 search results - page 71 / 713
» Modeling a system controller for timing analysis
Sort
View
ASYNC
2002
IEEE
120views Hardware» more  ASYNC 2002»
15 years 4 months ago
Relative Timing Based Verification of Timed Circuits and Systems
Advanced clock-delayed1 and self-resetting domino circuits are becoming increasingly important design styles in aggressive synchronous as well as asynchronous design. Their design...
Peter A. Beerel, Ken S. Stevens, Hoshik Kim
ICRA
2006
IEEE
130views Robotics» more  ICRA 2006»
15 years 5 months ago
Time Optimal Control for Quadruped Walking Robots
- Time optimal control method for quadruped walking robots are developed and installed into a practical robot system. Each leg is modeled as a two link manipulator whose time optim...
Hisashi Osumi, Shogo Kamiya, Hirokazu Kato, Kazuno...
ENTCS
2007
120views more  ENTCS 2007»
14 years 11 months ago
Non-Interference Control Synthesis for Security Timed Automata
In this paper, the problem of synthesizing controllers that ensures non interference for multilevel security dense timed discrete event systems modeled by an extension of Timed Au...
Guillaume Gardey, John Mullins, Olivier H. Roux
IFM
1999
Springer
15 years 4 months ago
Modelling Discrete Behaviour in a Continuous-Time Formalism
Embedded real-time systems consist of a digital controller interacting with its physical environment. Developing such systems therefore involves specifying and reasoning about bot...
Colin J. Fidge
HICSS
2009
IEEE
116views Biometrics» more  HICSS 2009»
15 years 6 months ago
Systems Modeling for IP-Based Handoff Using Timed Petri Nets
The mechanisms and design principles needed for achieving optimized handoff for mobile Internet services are poorly understood and need better analysis. This paper contributes to ...
Ashutosh Dutta, Bryan Lyles, Henning Schulzrinne, ...