Statecharts: A visual formalism for complex systems
Science of Computer Programming
Computer-controlled systems (3rd ed.)
Computer-controlled systems (3rd ed.)
Consistency in replicated continuous interactive media
CSCW '00 Proceedings of the 2000 ACM conference on Computer supported cooperative work
Artificial Intelligence: A Modern Approach
Artificial Intelligence: A Modern Approach
Control in printing systems: modular reconfigurable media paths
ACC'09 Proceedings of the 2009 conference on American Control Conference
Synchronized control in a large-scale networked distributed printing system
ICRA'09 Proceedings of the 2009 IEEE international conference on Robotics and Automation
R-Charon, a modeling language for reconfigurable hybrid systems
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
| Hi-index | 0.00 |
The remarkable drop in the cost of embedded computing, sensing, and actuation is creating an explosion in applications for embedded software. As manufacturers make use of these technologies, they attempt to reduce complexity and contain cost by modularizing their systems and building reconfigurable products from simpler but smarter components. Of particular interest have recently been highly reconfigurable systems, i.e., systems that can be customized, repaired, and upgraded at a fine level of granularity throughout their lifetime. High reconfigurability is putting new demands on the software that is dynamically calibrating, controlling, and coordinating the operations of the system's modules. There is much promise in existing software approaches, in particular in model-based approaches; however, current techniques face a number of new challenges before they can be embedded in the kind of real-time, distributed, and dynamic environment found in highly reconfigurable systems. Here, we discuss challenges, solutions, and lessons learned in the context of a long-term project at PARC to bring such techniques to a highly reconfigurable paper path system.