Using Simplicity to Control Complexity
By Lui Raymond Sha. IEEE Software, 2001
453 citations recorded by the source corpus.
Subfields: Artificial Intelligence, Computational Theory and Mathematics, Software
View Paper: https://www.semanticscholar.org/paper/f6313ebc4a0448d4297949655f641a7bd46923ef
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Artificial Intelligence
- Dorsa Sadigh
- Sanjit A. Seshia
- P. Arun Raj Kumar
- R. Rajkumar
- Anthony Rowe
- Dhiraj Goel
- Rick Salay
- Krzysztof Czarnecki
In Computational Theory and Mathematics
- Sanjit A. Seshia
- Dorsa Sadigh
- R. Rajkumar
- Anthony Rowe
- Dhiraj Goel
- Alan Burns
- Krzysztof Czarnecki
- Rick Salay
In Software
- Sanjit A. Seshia
- Dorsa Sadigh
- R. Rajkumar
- Anthony Rowe
- Dhiraj Goel
- Krzysztof Czarnecki
- Rick Salay
- P. Arun Raj Kumar
Citations in the corpus
- Using Machine Learning Safely in Automotive Software: An Assessment and Adaption of Software Process Requirements in ISO 26262 (2018, background): “Name Simplex architecture [31] Intent Minimize the error rate by intervening when the situation is too demanding for the ML model.”
- FireFly Mosaic: A Vision-Enabled Wireless Sensor Networking System (2007, methodology): “The original Simplex architecture [1], [2] was designed to provide fault-tolerant, dynamic upgrades for real-time systems.”
- An Introduction for Scientists and Engineers SECOND EDITION (2021, unknown): “Systems of this type have been designed by Sha [Sha01], and examples of guards for adaptive control are found in [THÅ00].”
- Real Time Scheduling Theory: A Historical Perspective (2004, background): “Simple feedback controllers were also proposed as a way to manage software complexity [60] based on the assertion that a primitive but more reliable emergency backup entity could significantly improve the reliability of a complex primary system [189].”
- Towards Verified Artificial Intelligence (2016, methodology): “t making restrictive assumptions. Therefore, design-time verification must be combined with run-time assurance, i.e., run-time verification and mitigation techniques. For example, the Simplex technique [78] provides one approach to combining a complex, but error-prone module with a safe, formally-veri”
- Cyber-Physical Systems: A New Frontier (2008, background): “fault tolerant protocols governing their interactions with the rest of the systems [ 16 ].”
- A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems (2018, background): “Replacement or Cold/Hot Spares The simplex architecture [93] considers two redundant subsystems.”
- Control: A perspective (2014, background): “The so called “Simplex” architecture of [592,593] addresses the problem of robustness to software bugs in the implementation of new control algorithms.”