| Document Date: 2013-09-11 12:34:33
Open Document File Size: 914,43 KBShare Result on Facebook
City College Station / Bedford / Beijing / Reading / Boston / / Company Pearson / Embedded Control Systems / Air Force Cambridge Research Laboratory / Discrete Event Systems / IEEE Intl / CRC Press / Hybrid Systems / / Country United States / / Facility Texas A&M University / Georgia Institute of Technology / Stable Speed-Controlled Robotic Walking Neil Dantam∗ / For terminal / / IndustryTerm correct control software / software implementation / preset and online supervisors / context-free parsing algorithm / software correctness / breadth-first search / automotive control applications / control software / online parsing / robot software / syntax analysis algorithm / software verification / control law / software synthesis method / obtained using a breadth-first search / / MarketIndex case 425 / / Organization Texas A&M University / Georgia Institute of Technology / Atlanta / Center for Robotics and Intelligent Machines / / Person Sriram Sankaranarayanan / Georgios Fainekos / Addison Wesley / Aaron Ames / Hakan Yazarel / Neil Dantam / S. After / Koichi Ueda / Mike Stilman / / Position supervisor / guard / mg supervisor / predetermined supervisor / discrete-time hybrid controller / generated supervisor / the parser performs speed control / context-free model for our system / representative / hierarchical / discrete time controller / controller / step controller / / ProgrammingLanguage C / / ProvinceOrState Texas / Georgia / Massachusetts / / PublishedMedium Communications of the ACM / / Technology functional programming / detailed algorithm / syntax analysis algorithm / simulation / context-free parsing algorithm / / URL http /
SocialTag |
Correct Software Synthesis for Stable Speed-Controlled Robotic Walking Neil Dantam∗ , Ayonga Hereid† , Aaron Ames† , and Mike Stilman∗ ∗ Center for Robotics and Intelligent Machines, Georgia Institute of Techn