Statecharts: A visual formalism for complex systems
Science of Computer Programming
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
Hi-index | 0.00 |
The article discusses trade-offs involved in current-generation autonomy systems for deep-space applications and describes emerging research that will let future spacecraft operate unattended for significant periods of time, synthesizing control decisions in response to both planned and unplanned events.