1578 search results - page 49 / 316 » Self-healing systems - survey and synthesis |
ICRA
2003
IEEE
14 years 1 months ago
2003
IEEE
−−−− Ordinary t-timed Petri Nets are used for modeling, analysis and synthesis of random topology production systems and networks. Each production system is first decompose...
HYBRID
1994
Springer
14 years 4 days ago
1994
Springer
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
ITC
2000
IEEE
14 years 13 days ago
2000
IEEE
We describe logic synthesis techniques for designing diverse implementations of combinational logic circuits in order to maximize the data integrity of diverse duplex systems in t...
ICECCS
2000
IEEE
14 years 13 days ago
2000
IEEE
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...
ICCAD
1998
IEEE
14 years 9 days ago
1998
IEEE
Designers of distributed embedded systems face many challenges in determining the appropriate tradeoffs to make when defining a system architecture or retargeting an existing desi...