BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Pappas:George_J=

Contributed to:

CASE 20092009
CASE 20082008
FATES/RV 20062006

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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.