Back to Results
First PageMeta Content
Applied mathematics / Automata theory / Computing / Formal methods / Stateflow / Simulink / Finite-state machine / State transition system / Formal verification / Visual programming languages / Models of computation / Theoretical computer science


Document Date: 2002-08-09 18:00:25

Open Document

File Size: 224,68 KB

Share Result on Facebook

City

Paris / Berlin / /

Company

MathWorks Inc. / Computer Science Laboratory / Rannoch Corporation / Hybrid Systems / B. Pushdown Systems / SAL Symbolic Analysis Laboratory / Pushdown Systems / SRI International / /

Country

France / /

/

Facility

Computer Science Laboratory / /

IndustryTerm

tool 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 / /

Organization

F33615-00-C-1700 and NASA Langley Research Center / /

Person

Alain Finkel / George J. Pappas / Rajeev Alur / Gerardo Lafferriere / Hubert Comon / Ai / Tom Henzinger / Berry / /

Position

additional controller / guard / leader control law / leader control dynamic system / leader control mode / designer / leader control system / BEGIN leader / leader control continuous dynamical system / controller / /

Product

Simulink/Stateflow development suite / Simulink/Stateflow / /

ProgrammingLanguage

Stateflow / Simulink / /

PublishedMedium

Theoretical Computer Science / Lecture Notes in Computer Science / /

Technology

reachability algorithms / CAD algorithm / Simulation / formal analysis technologies / CAD / /

SocialTag