Visible to the public Biblio

Found 172 results

Filters: First Letter Of Title is D  [Clear All Filters]
2018-05-14
Poudel, Bikash, Munir, Arslan.  2017.  Design and Evaluation of a Novel ECU Architecture for Secure and Dependable Automotive CPS. Proc. of IEEE Consumer Communications and Networking Conference (CCNC).
2018-05-11
Anany Dwivedi, Anand Ramakrishnan, Kunal Patel, Selim Ozel, Cagdas D. Onal.  2017.  Design, Modeling, and Validation of a Soft Magnetic 3-D Force Sensor. IEEE Sensors (submitted).
Amr Alanwar, Henrique Ferraz, Kevin Hsieh, Rohit Thazhath, Paul Martin, João Pedro Hespanha, Mani Srivastava.  2017.  D-SLATS: Distributed Simultaneous Localization and Time Synchronization. Proc. of the ACM MOBIHOC.
Biron, Z Abdollahi, Pisu, Pierluigi.  2015.  Distributed Fault Detection and Estimation for Cooperative Adaptive Cruise Control System in a Platoon. PHM conference.
Elmahdi, Ahmed, Taha, Ahmad F, Sun, Dengfeng.  Submitted.  Decentralized Control Framework for Networked Control Systems.
Taha, Ahmad F, Qi, Junjian, Wang, Jianhui, Panchal, Jitesh H.  2015.  Dynamic State Estimation under Cyber Attacks: A Comparative Study of Kalman Filters and Observers. arXiv preprint arXiv:1508.07252.
Taha, Ahmad F, Panchal, Jitesh H.  2014.  Decision-making in energy systems with multiple technologies and uncertain preferences. IEEE Transactions on Systems, Man, and Cybernetics: Systems. 44:894–907.
Elmahdi, Ahmed, Taha, Ahmad F, Sun, Dengfeng, Panchal, Jitesh H.  2015.  Decentralized control framework and stability analysis for networked control systems. Journal of Dynamic Systems, Measurement, and Control. 137:051006.
Cherry, Elizabeth M..  2017.  Distinguishing mechanisms for alternans in cardiac cells using constant-diastolic-interval pacing. Chaos: An Interdisciplinary Journal of Nonlinear Science. 27:093902.
Cherry, E. M., Cairns, D. I., Holt, N., LaVigne, N. S., Fenton, F. H., Hoffman, M. J..  2017.  Data assimilation for cardiac electrical dynamics. Proceedings of the 5th {International} {Conference} on {Computational} and {Mathematical} {Biomedical} {Engineering}.
Nicola Paoletti, Kin Sum Liu, Scott A. Smolka, Shan Lin.  2017.  Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties. Computational Methods in Systems Biology. 10545:214–232.
Li, S., Wan, Y., Fu, S., Liu, M., Wu, H.F..  2017.  Design and implementation of a remote UAV-based mobile health monitoring system. Proceedings of SPIE - The International Society for Optical Engineering. 10169
Urbina Fuentes, David Ignacio, others.  2016.  Deep Packet Inspection for Physics-based Anomaly Detection in Industrial Control Systems.
Mirrezaei, Seyed Iman, Martins, Bruno, Cruz, Isabel F..  2016.  A Distantly Supervised Method for Extracting Spatio-temporal Information from Text. {Proceedings of the 24th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems}. :74:1–74:4.
Anastasia Mavridou, Joseph Sifakis, Janos Sztipanovits.  2017.  A Design Studio for Architecture-based Design with BIP.

The Behavior-Interaction-Priority (BIP) framework, rooted in rigorous semantics, allows modeling heterogeneous component-based systems. BIP is supported by a textual modeling language, as well as a tool-set including run-time platforms and verification tools. We present a web-based design studio that allows specifying BIP behavior and interaction models in a purely graphical way and generating the equivalent textual specifications. To facilitate scaling and reusability of BIP models, we have extended architecture diagrams, a graphical language for modeling architecture styles, to define parameterized BIP models. We present the various services provided by the design studio, including model repositories, design guidance mechanisms, code generators, and integration with the BIP tool-set.

2018-05-10
Stanley Bak, Parasara Sridhar Duggirala.  2017.  Direct Verification of Linear Systems with over 10000 Dimensions (Experience Report). 4th International Workshop on Applied Verification for Continuous and Hybrid Systems, Pittsburgh, USA.
Ma, Yunfei, Selby, Nicholas, Adib, Fadel.  2017.  Drone Relays for Battery-Free Networks. Proceedings of the Conference of the ACM Special Interest Group on Data Communication. :335–347.
Li, Songwei, Wan, Yan, Fu, Shengli, Liu, Mushuang, Wu, H Felix.  2017.  Design and implementation of a remote UAV-based mobile health monitoring system. SPIE Smart Structures and Materials+ Nondestructive Evaluation and Health Monitoring. :101690A–101690A.
2018-03-29
Zhang, W., Kimball, J. W..  2017.  DC-DC Converter Based Photovoltaic Simulator with a Double Current Mode Controller. IEEE Transactions on Power Electronics. PP:1–1.
J. Duan, M. Y. Chow.  2017.  Data Integrity Attack on Consensus-based Load Shedding Algorithm for Power Systems. IECON 2017 - 43nd Annual Conference of the IEEE Industrial Electronics Society. :1-6.
J. Duan, M. Y. Chow.  2017.  Data Integrity Attack on Consensus-based Distributed Energy Management Algorithm. 2017 IEEE Power and Energy Society General Meeting (PESGM). :1-5.
Desheng Zhang, Ruobing Jiang, Shuai Wang, Yanmin Zhu, Bo Yang, Tian He,, Jian Cao..  2017.  Data-Driven Digital Advertising with Uncertain Demand Model in Metro Networks. IEEE Transactions on Big Data 2017.