Sciweavers

12438 search results - page 209 / 2488
» The Magic of a Number System
Sort
View
CDC
2008
IEEE
113views Control Systems» more  CDC 2008»
15 years 11 months ago
Model reduction for a class of input-quantized systems in the max-plus algebra
Abstract— We present a systematic method for model reduction of a class of input-quantized systems in the max-plus algebra. We consider a generalization of the flow shop with ï¬...
Whitney Weyerman, Sean Warnick
ICRA
2003
IEEE
147views Robotics» more  ICRA 2003»
15 years 9 months ago
Modular petri net based modeling, analysis and synthesis of dedicated production systems
−−−− 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...
George J. Tsinarakis, Kimon P. Valavanis, Nikos Ts...
COMPSAC
2002
IEEE
15 years 9 months ago
Case Study: Componentization of an Industrial Control System
When different business units of an international company are responsible for the development of different parts of a large system, a component-based software architecture may be ...
Frank Lüders, Ivica Crnkovic, Andreas Sjö...
EUROCAST
2001
Springer
189views Hardware» more  EUROCAST 2001»
15 years 9 months ago
Assertion-Based Analysis of Hybrid Systems with PVS
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
Erika Ábrahám-Mumm, Ulrich Hannemann...
INTEROP
1999
Springer
146views GIS» more  INTEROP 1999»
15 years 8 months ago
Architecture Considerations for Advanced Earth Observation Application Systems
Application systems in the earth observation area can be characterised as distributed, platform-inhomogeneous, complex, and cost intensive information systems. In order to manage t...
Hermann Ludwig Möller, Marcello Mariucci, Ber...