Loading…
Robustness of Attack-Resilient State Estimators
Pajic, Miroslav, Weimer, James, Bezzo, Nicola, Tabuada, Paulo, Sokolsky, Oleg, Lee, Insup, Pappas, George J.
Published in ICCPS : 2014 ACM/IEEE International Conference on Cyber-Physical Systems : 14-17 April 2014 (15.04.2014)
Published in ICCPS : 2014 ACM/IEEE International Conference on Cyber-Physical Systems : 14-17 April 2014 (15.04.2014)
Get full text
Conference Proceeding
Loading…
Loading…
Loading…
Human-Inspired Multi-Contact Locomotion with AMBER2
Zhao, Hui-Hua, Ma, Wen-Loong, Zeagler, Michael B., Ames, Aaron D.
Published in ICCPS : 2014 ACM/IEEE International Conference on Cyber-Physical Systems : 14-17 April 2014 (15.04.2014)
Published in ICCPS : 2014 ACM/IEEE International Conference on Cyber-Physical Systems : 14-17 April 2014 (15.04.2014)
Get full text
Conference Proceeding
Loading…
Real-Time Battery Thermal Management for Electric Vehicles
Kim, Eugene, Shin, Kang G., Lee, Jinkyu
Published in ICCPS : 2014 ACM/IEEE International Conference on Cyber-Physical Systems : 14-17 April 2014 (15.04.2014)
Published in ICCPS : 2014 ACM/IEEE International Conference on Cyber-Physical Systems : 14-17 April 2014 (15.04.2014)
Get full text
Conference Proceeding
Loading…
Loading…
A Formal Model for Verifying the Impact of Stealthy Attacks on Optimal Power Flow in Power Grids
Rahman, Mohammad Ashiqur, Al-Shaer, Ehab, Kavasseri, Rajesh G.
Published in ICCPS : 2014 ACM/IEEE International Conference on Cyber-Physical Systems : 14-17 April 2014 (15.04.2014)
Published in ICCPS : 2014 ACM/IEEE International Conference on Cyber-Physical Systems : 14-17 April 2014 (15.04.2014)
Get full text
Conference Proceeding
Loading…
Reconfiguration-Assisted Charging in Large-Scale Lithium-Ion Battery Systems
He, Liang, Kong, Linghe, Lin, Siyu, Ying, Shaodong, Gu, Yu, He, Tian, Liu, Cong
Published in ICCPS : 2014 ACM/IEEE International Conference on Cyber-Physical Systems : 14-17 April 2014 (15.04.2014)
Published in ICCPS : 2014 ACM/IEEE International Conference on Cyber-Physical Systems : 14-17 April 2014 (15.04.2014)
Get full text
Conference Proceeding
Loading…
Loading…
Real-Time Privacy-Preserving Model-Based Estimation of Traffic Flows
Le Ny, Jerome, Touati, Ahmed, Pappas, George J.
Published in ICCPS : 2014 ACM/IEEE International Conference on Cyber-Physical Systems : 14-17 April 2014 (15.04.2014)
Published in ICCPS : 2014 ACM/IEEE International Conference on Cyber-Physical Systems : 14-17 April 2014 (15.04.2014)
Get full text
Conference Proceeding
Loading…
Freeway traffic control from linear temporal logic specifications
Coogan, Samuel, Arcak, Murat
Published in ICCPS : 2014 ACM/IEEE International Conference on Cyber-Physical Systems : 14-17 April 2014 (15.04.2014)
Published in ICCPS : 2014 ACM/IEEE International Conference on Cyber-Physical Systems : 14-17 April 2014 (15.04.2014)
Get full text
Conference Proceeding
Loading…
A Low-Power Architecture for High Frequency Sensor Acquisition in Many-DOF UAVs
Mancuso, Renato, Dantsker, Or D., Caccamo, Marco, Selig, Michael S.
Published in ICCPS : 2014 ACM/IEEE International Conference on Cyber-Physical Systems : 14-17 April 2014 (15.04.2014)
Published in ICCPS : 2014 ACM/IEEE International Conference on Cyber-Physical Systems : 14-17 April 2014 (15.04.2014)
Get full text
Conference Proceeding
Loading…
Demo Abstract: ROSLab --- A Modular Programming Environment for Robotic Applications
Bezzo, Nicola, Park, Junkil, King, Andrew, Gebhard, Peter, Ivanov, Radoslav, Lee, Insup
Published in ICCPS : 2014 ACM/IEEE International Conference on Cyber-Physical Systems : 14-17 April 2014 (15.04.2014)
Published in ICCPS : 2014 ACM/IEEE International Conference on Cyber-Physical Systems : 14-17 April 2014 (15.04.2014)
Get full text
Conference Proceeding
Loading…
WiP abstract: Conformance Testing as Falsification for Cyber-Physical Systems
Abbas, Houssam, Hoxha, Bardh, Fainekos, Georgios, Deshmukh, Jyotirmoy V., Kapinski, James, Ueda, Koichi
Published in ICCPS : 2014 ACM/IEEE International Conference on Cyber-Physical Systems : 14-17 April 2014 (15.04.2014)
Published in ICCPS : 2014 ACM/IEEE International Conference on Cyber-Physical Systems : 14-17 April 2014 (15.04.2014)
Get full text
Conference Proceeding
Loading…
Linking Abstract Analysis to Concrete Design: A Hierarchical Approach to Verify Medical CPS Safety
Murugesan, Anitha, Sokolsky, Oleg, Rayadurgam, Sanjai, Whalen, Michael, Heimdahl, Mats, Lee, Insup
Published in ICCPS : 2014 ACM/IEEE International Conference on Cyber-Physical Systems : 14-17 April 2014 (15.04.2014)
Published in ICCPS : 2014 ACM/IEEE International Conference on Cyber-Physical Systems : 14-17 April 2014 (15.04.2014)
Get full text
Conference Proceeding
Loading…
WiP Abstract: Reception Probability Model for Vehicular Ad-Hoc Networks in the Vicinity of Intersections
Steinmetz, Erik, Wildemeersch, Matthias, Wymeersch, Henk
Published in ICCPS : 2014 ACM/IEEE International Conference on Cyber-Physical Systems : 14-17 April 2014 (15.04.2014)
Published in ICCPS : 2014 ACM/IEEE International Conference on Cyber-Physical Systems : 14-17 April 2014 (15.04.2014)
Get full text
Conference Proceeding
Loading…
Style-Based Abstractions for Human Motion Classification
LaViers, Amy, Egerstedt, Magnus
Published in ICCPS : 2014 ACM/IEEE International Conference on Cyber-Physical Systems : 14-17 April 2014 (15.04.2014)
Published in ICCPS : 2014 ACM/IEEE International Conference on Cyber-Physical Systems : 14-17 April 2014 (15.04.2014)
Get full text
Conference Proceeding
Loading…
Loading…
Safety-Assured Collaborative Load Management in Smart Grids
Nguyen, Hoang Hai, Tan, Rui, Yau, David K. Y.
Published in ICCPS : 2014 ACM/IEEE International Conference on Cyber-Physical Systems : 14-17 April 2014 (15.04.2014)
Published in ICCPS : 2014 ACM/IEEE International Conference on Cyber-Physical Systems : 14-17 April 2014 (15.04.2014)
Get full text
Conference Proceeding
Loading…
Poster Abstract: Cyborg-Insect Networks for Mapping of Unknown Environments
Dirafzoon, Alireza, Bethhauser, Joseph, Schornick, Jeff, Cole, Jeremy, Bozkurt, Alper, Lobaton, Edgar
Published in ICCPS : 2014 ACM/IEEE International Conference on Cyber-Physical Systems : 14-17 April 2014 (01.04.2014)
Published in ICCPS : 2014 ACM/IEEE International Conference on Cyber-Physical Systems : 14-17 April 2014 (01.04.2014)
Get full text
Conference Proceeding