Biblio
Filters: First Letter Of Last Name is R [Clear All Filters]
.
2017. Computing robust controlled invariant sets of linear systems. IEEE Transactions on Automatic Control.
.
2016. A notion of robustness for cyber-physical systems. IEEE Transactions on Automatic Control. 61:2108–2123.
.
2014. Abstracting and refining robustness for cyber-physical systems. Proceedings of the 17th international conference on Hybrid systems: computation and control. :223–232.
.
2014. Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control. 12th International Workshop on Discrete Event Systems, {WODES} 2014, Cachan, France, May 14-16, 2014.. :222–227.
.
2017. Supervisory control and reactive synthesis: a comparative introduction. Discrete Event Dynamic Systems. 27:209–260.
.
2017. EmuFog: Extensible and Scalable Emulation of Large-Scale Fog Computing Infrastructures. Fog World Congress (FWC 2017).
.
2017. FogStore: Toward a Distributed Data Store for Fog Computing. Fog World Congress (FWC 2017).
.
2017. SPECTRE: Supporting Consumption Policies in Window-Based Parallel Complex Event Processing. ACM Middleware.
.
2015. Proactive and reactive management of non-weather capacity disruption events in the national airspace system: A flow modeling and design approach. 15th AIAA Aviation Technology, Integration, and Operations Conference.
.
2017. Toward experimental validation of a model for human sensorimotor learning and control in teleoperation. {SPIE} Defense + Security. :101941X–101941X–12.
.
2013. Two-sided Energy Scheduling Algorithm for Smart Grid with Storage Cost. International Conference on Wireless Communications and Signal Processing, WCSP2013.
.
2010. A new algorithm for outlier rejection in particle filters. 13th Conference on Information Fusion, {FUSION} 2010, Edinburgh, UK, July 26-29, 2010. :1–7.
.
2015. Towards Non-Invasive Monitoring of Hypovolemia in Intensive Care Patients. Proceedings of the Medical Cyber-Physical Systems (MCPS) workshop at the 6th International Conference on Cyber-Physical Systems.
.
2017. RE at 50, with a Focus on the Last 25 Years. 25th {IEEE} International Requirements Engineering Conference, {RE} 2017, Lisbon, Portugal, September 4-8, 2017. :482–483.
.
2016. Software engineering for molecular programming. Proceedings of the 38th International Conference on Software Engineering, {ICSE} 2016, Austin, TX, USA, May 14-22, 2016 - Companion Volume. :888–889.
.
2016. Requirements for Molecular Programmed Nanosystems (Keynote). 24th {IEEE} International Requirements Engineering Conference, {RE} 2016, Beijing, China, September 12-16, 2016. :2.
.
2017. FEW: Integration of alternative energy sources into digital micro-grids. Environmental Progress and Sustainable Energy. 99
.
2016. Assessing power system state estimation accuracy with GPS-spoofed PMU Measurements. Innovative Smart Grid Technologies Conference (ISGT), 2016 IEEE Power & Energy Society. :1–5.
.
2016. Modular Deductive Verification of Sampled-data Systems. Proceedings of the 13th International Conference on Embedded Software. :17:1–17:10.
.
2013. Effect of Signs and Striping on Roundabout Safety: An Observational Before/After Study. Transportation Research Board 92nd Annual Meeting.
.
2014. Before/After Study on the Effects of Signage and Striping on the Safety of a Modern Two-Lane Roundabout. Transportation Research Board 93rd Annual Meeting.
.
2016. Slicing in locavore infrastructures. Proceedings of the 4th Workshop on Distributed Cloud Computing. :4.
.
2016. US Ignite and Smarter Communities. The GENI Book. :479–510.
.
2017. A city edge cloud with its economic and technical considerations. Pervasive Computing and Communications Workshops (PerCom Workshops), 2017 IEEE International Conference on. :599–604.