Travelled to:
1 × India
2 × USA
Collaborated with:
H.Kress-Gazit G.E.Fainekos N.Ayanian V.Kumar A.D'Innocenzo G.Weiss R.Alur A.J.Isaksson K.H.Johansson
Talks about:
control (3) subsystem (1) algorithm (1) wireless (1) challeng (1) synthes (1) schedul (1) scalabl (1) network (1) automat (1)
Person: George J. Pappas
DBLP: Pappas:George_J=
Contributed to:
Wrote 4 papers:
- CASE-2009-DInnocenzoWAIJP #algorithm #scalability #scheduling
- Scalable scheduling algorithms for wireless networked control systems (AD, GW, RA, AJI, KHJ, GJP), pp. 409–414.
- CASE-2008-Kress-GazitAPK
- Recycling controllers (HKG, NA, GJP, VK), pp. 772–777.
- CASE-2008-Kress-GazitP #automation #challenge
- Automatically synthesizing a planning and control subsystem for the DARPA urban challenge (HKG, GJP), pp. 766–771.
- FATES-RV-2006-FainekosP #logic #robust #specification
- Robustness of Temporal Logic Specifications (GEF, GJP), pp. 178–192.