Using the Hybrid Systems Interchange Format to Input Design Models to Verification & Validation ToolsJan 1, 2005·Jonathan Sprinkle,Omid Shakernia,Robert Miller,Shankar Sastry· 0 min read CiteTypeConference paperPublicationIEEE Aerospace Conference, Verification and ValidationpublicationsLast updated on Jan 1, 2005 AuthorsJonathan SprinkleProfessor and Chair of Computer ScienceProfessor of Computer Science at Vanderbilt University. Research in cyber-physical systems, autonomous vehicles, and domain-specific modeling.AuthorsOmid ShakerniaAuthorsRobert MillerAuthorsShankar Sastry← Using smart sensors and a camera phone to detect and verify the fall of elderly persons Jan 1, 20054th OOPSLA Workshop on Domain-Specific Modeling (DSM'04) Jan 1, 2004 →
,,,·
0 min read