RTSS 2008 Program Committee

Tarek Abdelzaher , Luis Almeida , Jim Anderson , Hakan Aydin

Safe perception-based control under stochastic sensor uncertainty using conformal prediction

Shuo Yang , George J Pappas , Rahul Mangharam , Lars Lindemann
2023 62nd IEEE Conference on Decision and Control (CDC) 6072 -6078

7
2023
The wireless control network: Topological conditions for system stabilization

Miroslav Pajic , Shreyas Sundaram , Rahul Mangharam , George J Pappas
University of Pennsylvania, Tech. Rep

3
2011
MOBILITY21: Strategic investments for transportation infrastructure & technology

Rahul Mangharam , Megan Reyerson , Steve Viscelli , Hamsa Balakrishanan
arXiv preprint arXiv:1705.01923

2
2017
Multi-Modal Conformal Prediction Regions by Optimizing Convex Shape Templates

Renukanandan Tumu , Matthew Cleaveland , Rahul Mangharam , George J Pappas
arXiv preprint arXiv:2312.07434

1
2023
MPE 2013+ Workshop on Data-aware Energy Use

Yuvraj Agarwal , Mario Berges , Rajesh Gupta , Zico Kolter

Safe control synthesis for hybrid systems through local control barrier functions

Shuo Yang , Mitchell Black , Georgios Fainekos , Bardh Hoxha
arXiv preprint arXiv:2311.17201

2
2023
CPSNA 2014 Program Committee

Sebastian Fischmeister , Martin Lukasiewycz , Nan Guan , Eduardo Tovar

Model-driven safety analysis of closed-loop medical systems

Miroslav Pajic , Rahul Mangharam , Oleg Sokolsky , David Arney
IEEE ( 99) 1 -1

152
2012
UPP2SF: Translating UPPAAL models to Simulink

Miroslav Pajic , Insup Lee , Rahul Mangharam , Oleg Sokolsky
University of Pennsylvania, Tech. Rep

13
2011
IoTDI 2016

Karl-Erik Arzen , Ken Birman , Matteo Ceriotti , Romit Roy Choudhury

EMSOFT 2013 Organization

Rolf Ernst , Oleg Sokolsky , Rajeev Alur , Samarjit Chakraborty

Technical Program Committees

James H Anderson , Bjorn Andersson , Ted Baker , Sanjoy Baruah

Data‐Driven Modeling, Control, and Tools for Smart Cities

Madhur Behl , Rahul Mangharam ,
Smart Cities: Foundations, Principles, and Applications 243 -274

2017
Program Committee–Main Track

Kunal Agrawal , James Anderson , Bjorn Andersson , Karl-Erik Arzen

SRDS 2015

Gul Agha , Lotfi Ben Othmane , Ivan Beschastnikh , Antonio Casimiro

Weimer, James 10 Yang, Junxing 16

Zhenya Zhang , Rajeev Alur , Xavier Avon , Sebastian Biewer

Proceedings of the 5th Workshop on Medical Cyber-Physical Systems

Volker Turau , Marta Kwiatkowska , Rahul Mangharam , Christoph Weyer
Schloss Dagstuhl–Leibniz-Zentrum für Informatik

2014