Search this site
CyPhyLab
Navigation
Home
Cyber-Physical?
Members
Projects
Publications
Software
Hardware
News
Sitemap
News
09/19/19:
Prof. Tabuada elected as a Fellow of IFAC.
08/26/19:
Prof. Tabuada and collaborators
received the
IEEE Transactions on Automation Science and Engineering Best New Application Paper Award.
09/06/18:
Special issue of
Acta Informatica
dedicated to
synthesis
. Consider submitting your best papers!
10/13/17:
Profs. Diggavi, Srivastava, and Tabuada part of ARL's
Internet of Battlefield Things Collaborative Research Alliance
.
09/01/17:
Dr. Yasser Shoukry
joined the University of Maryland as Assistant Professor.
07/28/17:
Prof. Tabuada is the inaugural holder of the Vijay K. Dhir Endowed Chair in Engineering.
07/10/17:
ICCPS 2018
will take place in Porto. Consider submitting your best papers!
11/29/16:
Prof. Tabuada becomes an IEEE Fellow.
Home
>
Members
>
Ayca Balkan
>
Mode-Target Games
modeTarget_unicycle.m contains the construction of 35 mode-target sets for the Unicycle example.
pss_target_set.m contains the construction of the 12 mode-target sets for the random tests.
Č
Updating...
ċ
CAV15_unicycle.m
(13k)
Unknown user,
Feb 8, 2015, 9:10 PM
v.1
ď
ċ
pss_target_set.m
(3k)
Unknown user,
Feb 8, 2015, 9:10 PM
v.1
ď
Comments