First Page | Document Content | |
---|---|---|
![]() Date: 2015-10-05 02:55:26Differential equations Mathematics Hybrid automaton Hybrid system Systems science X0 Center FO Systems theory | Add to Reading List |
![]() | HYST: A Source Transformation and Translation Tool for Hybrid Automaton Models Stanley Bak Sergiy BogomolovDocID: 1sQ7a - View Document |
![]() | Intl. Symposium on Experimental Robotics, JuneLinguistic Composition of Semantic Maps and Hybrid Controllers ? Neil Dantam, Carlos Nieto-Granda, Henrik Christensen, and Mike Stilman Center for Robotics and IntelliDocID: 1qAqc - View Document |
![]() | PDF DocumentDocID: 1qyed - View Document |
![]() | Math.Comput.Sci:71–97 DOIs11786y Mathematics in Computer Science Collaborative Verification-Driven EngineeringDocID: 1p0RO - View Document |
![]() | TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy SPES 2020 Deliverable D1.1.A-2DocID: 1oHim - View Document |