System engineering handbook

TL;DR: Four basic PetriNet augmentation methods for error recovery are investigated and it is demonstrated that when these methods are used to augment the Petri net controller, some important properties of the controller are guaranteed to be preserved.

TL;DR: The tradespace exploration paradigm both broadens the perspective of designers in conceptual design to better understand the "physics" of the proposed solutions relative to one another, and focuses the designer on delivering systems of value to key system stakeholders.

TL;DR: A survey of guidance laws applicable to short-range tactical missiles can be found in this article, with a focus on the use of G-law for short range tactical missiles, including line-of-sight (LOS), pursuit, proportional navigation guidance, and terminal homing.