385 search results - page 32 / 77 » Symbolic Controller Synthesis for Discrete and Timed Systems |
138
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
— We consider the control of impulsive systems with jumps triggered by a renewal process, that is, the intervals between jumps are independent and identically distributed. The co...
165
click to vote
DAC
2007
ACM
16 years 6 months ago
2007
ACM
An effective method for focusing optimization effort on the most important parts of a design is to examine those elements on the critical path. Traditionally, the critical path is...
154
click to vote
IADIS
2004
15 years 6 months ago
2004
Economical globalization and outsourcing have inspired the surge of research in distributed computer-aided design. This paper presents a framework for Internet-based symbolic dist...
163
click to vote
AHS
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper, we propose a design methodology for implementing a multimode (or multi-configuration) and multi-throughput system into a single hardware architecture. The inputs of...
162
click to vote
MAM
2008
15 years 5 months ago
2008
This paper presents a design methodology for a hybrid Hardwarein-the-Loop (HIL) tester tool, based on both discrete event system theory, given by timed automata, and continuous sy...