Sciweavers

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

34

HYBRID
2013
Springer

favoriteEmaildiscussreport

63views Control Systems» more HYBRID 2013»

Least-violating control strategy synthesis with safety rules

10 years 6 months ago

Least-violating control strategy synthesis with safety rules

Download ares.lids.mit.edu

Jana Tumova, Gavin C. Hall, Sertac Karaman, Emilio

Real-time Traffic

Control Systems | HYBRID 2013 |

claim paper

Related Content

» Synthesis of Distributed Controllers by Means of a Monolithic Approach

» Compositional Control Synthesis for Partially Observable Systems

» Receding horizon temporal logic planning for dynamical systems

» Synthesis for Structure Rewriting Systems

» Automating Verification of Cooperation Control and Design in Traffic Applications

» Automated Computation of Decomposable Synchronization Conditions

Post Info
More Details (n/a)

Added	28 Apr 2014
Updated	28 Apr 2014
Type	Journal
Year	2013
Where	HYBRID
Authors	Jana Tumova, Gavin C. Hall, Sertac Karaman, Emilio Frazzoli, Daniela Rus

Comments (0)