HybridSystems-Modeling,Analysis,andControl(StanfordUniversity).