IEEE Software · 1992 · 29 citations · 4 references
EngineeringComputer EngineeringSystems EngineeringReal-time SystemsSystems ArchitectureSystems ModelingControl System DesignControl SystemsLayered ArchitectureReal-time ControlReal-time Systems ArchitectureReal-time Systems DesignControl ArchitectureControl Architecture DesignControl InterfacesControl Software ArchitectureElevator OperationsHierarchical SystemsLayered Control ArchitecturesTiming Properties
A framework for developing hierarchical control systems consisting of layers that group transformation types, the tools to help implement the layers and validate timing properties, and the mechanisms for communicating among layers is discussed. The layered framework supports the design and implementation of control systems with both continuous and discrete components, and is suitable for integrating symbolic and numeric computations in a range of applications. Two applications of the framework-an elevator control system and driver support system-are described.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
4
Formal analysis of real-time equational rule-based systems
Aloysius K. Mok · 2003 · 17 citations
A Software Architecture for Autonomous Systems
Jens Hultman, Adam Nyberg, Martin Svensson · 2005 · 14 citations