Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

6

RTSS
1996
IEEE

favoriteEmaildiscussreport

95views Control Systems» more RTSS 1996»

Correctness of vehicle control systems-a case study

13 years 8 months ago

Correctness of vehicle control systems-a case study

Download publications.csail.mit.edu

Henri B. Weinberg, Nancy A. Lynch

Real-time Traffic

Control Systems | RTSS 1996 |

claim paper

Related Content

» Systematic Correct Construction of Selfstabilizing Systems A Case Study

» Data Management Issues in Vehicle Control Systems A Case Study

» A Case Study on Safety Cases in the Automotive Domain Modules Patterns and Models

» Optimal motion primitives for multiUAV convoy protection

» Synchronous elasticization Considerations for correct implementation and MiniMIPS case stu...

» Probabilistic Delay Control and Road Side Unit Placement for Vehicular Ad Hoc Networks wit...

» Stabilizing underwater vehicle motion using internal rotors

» Halo orbit mission correction maneuvers using optimal control

» MultiVehicle Flocking Scalability of Cooperative Control Algorithms using Pairwise Potenti...

Post Info
More Details (n/a)

Added	07 Aug 2010
Updated	07 Aug 2010
Type	Conference
Year	1996
Where	RTSS
Authors	Henri B. Weinberg, Nancy A. Lynch

Comments (0)