First Page | Meta Content | |
---|---|---|
![]() | Document Date: 2002-08-09 18:00:25Open Document File Size: 224,68 KBShare Result on FacebookCityParis / Berlin / /CompanyMathWorks Inc. / Computer Science Laboratory / Rannoch Corporation / Hybrid Systems / B. Pushdown Systems / SAL Symbolic Analysis Laboratory / Pushdown Systems / SRI International / /CountryFrance / / /FacilityComputer Science Laboratory / /IndustryTermtool chain / richer systems / Abstract systems / quantifier elimination tool / elimination tools / safety-critical embedded systems / much richer systems / formal analysis technologies / parametric inhomogenous linear differential systems / actual systems / continuous dynamical systems / conservative discrete transition systems / restricted and simple systems / exhaustive search / transition systems / dynamical systems / broadcast event action processing / model checking tools / formal technologies / linear and non-linear control systems / arbitrary continuous dynamical systems / reachability algorithms / simulation tool / automated highway systems / control systems / embedded control systems / formal analysis tools / analysis tools / type systems / rear car / linear systems / cartesian product / large and complex systems / control law / /OrganizationF33615-00-C-1700 and NASA Langley Research Center / /PersonAlain Finkel / George J. Pappas / Rajeev Alur / Gerardo Lafferriere / Hubert Comon / Ai / Tom Henzinger / Berry / /Positionadditional controller / guard / leader control law / leader control dynamic system / leader control mode / designer / leader control system / BEGIN leader / leader control continuous dynamical system / controller / /ProductSimulink/Stateflow development suite / Simulink/Stateflow / /ProgrammingLanguageStateflow / Simulink / /PublishedMediumTheoretical Computer Science / Lecture Notes in Computer Science / /Technologyreachability algorithms / CAD algorithm / Simulation / formal analysis technologies / CAD / /SocialTag |