R. / Report / Munich / Cambridge / Washington / Visser / /
Company
MIT Press / McGraw-Hill / Hybrid Systems / Prentice-Hall Inc. / Controller Software / RealTime Systems / /
Country
Germany / United States / / /
Facility
Carnegie Mellon University / NASA Ames Research Center / The Robotics Institute / University of Texas / University of Pennsylvania / /
IndustryTerm
control algorithms / higher level software / mobile robot systems / software crashes / real-time environment / robotic control systems / model checking robot control software / highway traffic control systems / depth-first search model checking algorithm / software implements / control software developers / real-time scheduling component / correct software / control software / open source software / state space systems / robotic systems / software development / model checking tools / depthfirst search / validation tools / robotic applications / software model checking / software implementation / depth-first search looks / depth-first search / software controls / exhaustive and systematic search / control systems / actual software / actual software implementation / computing / numerical algorithm / robot software / servo-loop control systems / linear state space systems / martian rover software / arm control systems / robot control system software / /
OperatingSystem
L3 / /
Organization
University of Texas at Austin / University of Pennsylvania / MIT / U.S.A. Computer Science Department / WCB / Robotics Institute / NASA Ames Research Center / Carnegie Mellon University / National Aeronautics and Space Administration / /
Person
Sebastian Scherer / ESA SP / Sanjiv Singh / CHECKING OF ROBOTIC / /
Position
piano roll scheduler / motor driver / speed controller / robot controller / steering controller / piano roll periodic scheduler / MODEL / updated scheduler / line-following robot controller / preemptible garbage collector / candidate for model checking / realtime scheduler / periodic scheduler / scheduler / servo loop controller / controller / verified hybrid controller for automated vehicles / /
Product
Java PathFinder / /
ProgrammingLanguage
Java / R / C / /
ProvinceOrState
Texas / Washington / Pennsylvania / /
Technology
Virtual Machine / search model checking algorithm / API / ESA / main algorithm / flash memory / control algorithms / Java / finite state machine / numerical algorithm / simulation / two control algorithms / Verification Algorithm The algorithm / /
MODEL CHECKING OF ROBOTIC CONTROL SYSTEMS S. Scherer(1) , F. Lerda(2) , and E. M. Clarke[removed])