Visible to the public Biblio

Found 271 results

Filters: First Letter Of Last Name is P  [Clear All Filters]
2018-05-17
Amit Levy, Michael P Andersen, Bradford Campbell, David Culler, Prabal Dutta, Branden Ghena, Philip Levis, Pat Pannuto.  2015.  Ownership is Theft: Experiences Building an Embedded OS in Rust. {Proceedings of the 8th Workshop on Programming Languages and Operating Systems (PLOS 2015)}.
Kevin Kiningham, Mark Horowitz, Philip Levis, Dan Boneh.  2016.  CESEL: Securing a Mote for 20 Years. {Proceedings of the 13th European conference on Wireless sensor networks (EWSN 2016)}.
Amit Levy, James Hong, Laurynas Riliskis, Philip Levis, Keith Winstein.  2016.  Beetle: Flexible Communication for Bluetooth Low Energy. {Proceedings of the 14th International Conference on Mobile Systems, Applications and Services (MobiSys)}.
Paredes, Pablo, Ko, Ryuka, Calle-Ortiz, Eduardo, Canny, John, Hartmann, Bjorn, Niemeyer, Greg.  2016.  Fiat-Lux: Interactive Urban Lights for Combining Positive Emotion and Efficiency. Proceedings of the 2016 ACM Conference on Designing Interactive Systems. :785–795.
Kempke, Benjamin, Pannuto, Pat, Campbell, Bradford, Adkins, Joshua, Dutta, Prabal.  2015.  PolyPoint: High-Precision Indoor Localization with UWB. Proceedings of the 13th ACM Conference on Embedded Networked Sensor Systems.
Kempke, Benjamin, Pannuto, Pat, Dutta, Prabal.  2016.  Harmonium: Asymmetric, Bandstitched UWB for Fast, Accurate, and Robust Indoor Localization. Proceedings of the 15th International Conference on Information Processing in Sensor Networks.
Samuel Coogan, Eric Kim, Gabriel Gomes, Murat Arcak, Pravin Varaiya.  2017.  Offset optimization in signalized traffic networks via semidefinite relaxation. Transportation Research Part B: Methodological. 100:82-92.

Abstract We study the problem of selecting offsets of the traffic signals in a network of signalized intersections to reduce queues of vehicles at all intersections. The signals in the network have a common cycle time and a fixed timing plan. It is assumed that the exogenous demands are constant or periodic with the same period as the cycle time and the intersections are under-saturated. The resulting queuing processes are periodic. These periodic processes are approximated by sinusoids. The sinusoidal approximation leads to an analytical expression of the queue lengths at every intersection as a function of the demands and the vector of offsets. The optimum offset vector is the solution of a quadratically constrained quadratic program (QCQP), which is solved via its convex semidefinite relaxation. Unlike existing techniques, our approach accommodates networks with arbitrary topology and scales well with network size. We illustrate the result in two case studies. The first is an academic example previously proposed in the literature, and the second case study consists of an arterial corridor network in Arcadia, California.

2018-05-16
Park, Junkil, Pajic, Miroslav, Sokolsky, Oleg, Lee, Insup.  2017.  Automatic Verification of Finite Precision Implementations of Linear Controllers. Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, P. :153–169.
Ibrahim, Mohamed, Boswell, Craig, Chakrabarty, Krishnendu, Scott, Kristin, Pajic, Miroslav.  2016.  A Real-time Digital-microfluidic Platform for Epigenetics. Proceedings of the International Conference on Compilers, Architectures and Synthesis for Embedded Systems. :10:1–10:10.
Bogdan, Paul, Pajic, Miroslav, Pande, Partha Pratim, Raghunathan, Vijay.  2016.  Making the Internet-of-things a Reality: From Smart Models, Sensing and Actuation to Energy-efficient Architectures. Proceedings of the Eleventh IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis. :25:1–25:10.
Park, Junkil, Pajic, Miroslav, Lee, Insup, Sokolsky, Oleg.  2016.  Scalable Verification of Linear Controller Software. Tools and Algorithms for the Construction and Analysis of Systems (TACAS). :662–679.
Ivanov, Radoslav, Pajic, Miroslav, Lee, Insup.  2016.  Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical Systems. ACM Transactions on Embedded Computing Systems. 15:21:1–21:24.
Ivanov, R., Atanasov, N., Pajic, M., Lee, I., Pappas, G. J..  2015.  Robust Localization Using Context-Aware Filtering. Workshop on Multi VIew Geometry in Robotics (MVIGRO), in conjunction with RSS.
Pajic, M., Tabuada, P., Lee, I., Pappas, G.J..  2015.  Attack-Resilient State Estimation in the Presence of Noise. 54th IEEE Annual Conference on Decision and Control (CDC). :5827–5832.
Al Faruque, Mohammad, Regazzoni, Francesco, Pajic, Miroslav.  2015.  Design Methodologies for Securing Cyber-physical Systems. Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis. :30–36.
Park, Junkil, Ivanov, Radoslav, Weimer, James, Pajic, Miroslav, Lee, Insup.  2015.  Sensor Attack Detection in the Presence of Transient Faults. Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems. :1–10.
Pajic, Miroslav, Park, Junkil, Lee, Insup, Pappas, George J., Sokolsky, Oleg.  2015.  Automatic Verification of Linear Controller Software. Proceedings of the 12th International Conference on Embedded Software. :217–226.
Lesi, Vuk, Jovanov, Ilija, Pajic, Miroslav.  2017.  Security-Aware Scheduling of Embedded Control Tasks. ACM Trans. Embed. Comput. Syst.. 16:188:1–188:21.
Jakovljevic, Zivana, Majstorovic, Vidosav, Stojadinovic, Slavenko, Zivkovic, Srdjan, Gligorijevic, Nemanja, Pajic, Miroslav.  2017.  Cyber-Physical Manufacturing Systems (CPMS). Proceedings of 5th International Conference on Advanced Manufacturing Engineering and Technologies: NEWTECH 2017. :199–214.
Jakovljevic, Zivana, Mitrovic, Stefan, Pajic, Miroslav.  2017.  Cyber Physical Production Systems–-An IEC 61499 Perspective. Proceedings of 5th International Conference on Advanced Manufacturing Engineering and Technologies: NEWTECH 2017. :27–39.