Biblio
Filters: First Letter Of Last Name is R [Clear All Filters]
Abstracting and refining robustness for cyber-physical systems. Proceedings of the 17th international conference on Hybrid systems: computation and control. :223–232.
.
2014.
A notion of robustness for cyber-physical systems. IEEE Transactions on Automatic Control. 61:2108–2123.
.
2016.
Computing robust controlled invariant sets of linear systems. IEEE Transactions on Automatic Control.
.
2017.
Supervisory control and reactive synthesis: a comparative introduction. Discrete Event Dynamic Systems. 27:209–260.
.
2017.
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.
.
2014.
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.
.
2017.
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.
.
2015.
Toward experimental validation of a model for human sensorimotor learning and control in teleoperation. {SPIE} Defense + Security. :101941X–101941X–12.
.
2017.
Two-sided Energy Scheduling Algorithm for Smart Grid with Storage Cost. International Conference on Wireless Communications and Signal Processing, WCSP2013.
.
2013.
A new algorithm for outlier rejection in particle filters. 13th Conference on Information Fusion, {FUSION} 2010, Edinburgh, UK, July 26-29, 2010. :1–7.
.
2010.
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.
.
2015.
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.
.
2017.
Requirements for Molecular Programmed Nanosystems (Keynote). 24th {IEEE} International Requirements Engineering Conference, {RE} 2016, Beijing, China, September 12-16, 2016. :2.
.
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.
FEW: Integration of alternative energy sources into digital micro-grids. Environmental Progress and Sustainable Energy. 99
.
2017.
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.
.
2016.
Effect of Signs and Striping on Roundabout Safety: An Observational Before/After Study. Transportation Research Board 92nd Annual Meeting.
.
2013.
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.
.
2014.
A city edge cloud with its economic and technical considerations. Pervasive Computing and Communications Workshops (PerCom Workshops), 2017 IEEE International Conference on. :599–604.
.
2017.
US Ignite and Smarter Communities. The GENI Book. :479–510.
.
2016.
Slicing in locavore infrastructures. Proceedings of the 4th Workshop on Distributed Cloud Computing. :4.
.
2016.