Visible to the public Biblio

Found 109 results

Filters: First Letter Of Last Name is N  [Clear All Filters]
2018-05-15
P. Nanez, R. G. Sanfelice, N. Quijano.  2017.  Passivity Tools for Hybrid DAE Systems with Applications to Switched DAE Systems. To appear in Proceedings of the IEEE Conference on Decision and Control.
J. J. B. Biemond, W. P. M. H. Heemels, R. G. Sanfelice, N. van de Wouw.  2016.  Distance function design and Lyapunov techniques for the stability of hybrid trajectories. Automatica. 73:38–46.
P. Nanez, R. G. Sanfelice, N. Quijano.  2017.  On an Invariance Principle for Differential-Algebraic Equations with Jumps and its Application to Switched Differential-Algebraic Equations. Mathematics of Control Signal and Systems. 185
2018-05-14
K. Mahapatra, N. R. Chaudhuri, R. Kavasseri.  2016.  Bad data detection in PMU measurements using principal component analysis. 2016 North American Power Symposium (NAPS). :1-6.
Mahajan, Akshay, Bidhendi, Alireza Karimi, Wang, Po T, McCrimmon, Colin M, Liu, Charles Y, Nenadic, Zoran, Do, An H, Heydari, Payam.  2015.  A 64-channel ultra-low power bioelectric signal acquisition system for brain-computer interface. Biomedical Circuits and Systems Conference (BioCAS), 2015 IEEE. :1–4.
McCrimmon, Colin M, Wang, Ming, Lopes, Lucas Silva, Wang, Po T, Karimi-Bidhendi, Alireza, Liu, Charles Y, Heydari, Payam, Nenadic, Zoran, Do, An H.  2016.  A small, portable, battery-powered brain-computer interface system for motor rehabilitation. Engineering in Medicine and Biology Society (EMBC), 2016 IEEE 38th Annual International Conference of the. :2776–2779.
Wang, Po T, Gandasetiawan, Keulanna, McCrimmon, Colin M, Karimi-Bidhendi, Alireza, Liu, Charles Y, Heydari, Payam, Nenadic, Zoran, Do, An H.  2016.  Feasibility of an ultra-low power digital signal processor platform as a basis for a fully implantable brain-computer interface system. Engineering in Medicine and Biology Society (EMBC), 2016 IEEE 38th Annual International Conference of the. :4491–4494.
Wang, Po T, Karimi-Bidhendi, Alireza, Liu, Charles Y, Nenadic, Zoran, Heydari, Payam, Do, An H.  2016.  A Low-Cost, Fully Programmable, Battery Powered Direct Cortical Electrical Stimulator. Journal of Medical Devices. 10:030901.
McCrimmon, Colin, Fu, Jonathan, Wang, Ming, Lopes, Lucas Silva, Wang, Po, Karimi-Bidhendi, Alireza, Liu, Charles, Heydari, Payam, Nenadic, Zoran, Do, An.  2017.  Performance Assessment of a Custom, Portable and Low-Cost Brain-Computer Interface Platform. IEEE Transactions on Biomedical Engineering.
McCrimmon, Colin M, Wang, Po T, Heydari, Payam, Nguyen, Angelica, Shaw, Susan J, Gong, Hui, Chui, Luis A, Liu, Charles Y, Nenadic, Zoran, Do, An H.  2017.  Electrocorticographic Encoding of Human Gait in the Leg Primary Motor Cortex. Cerebral Cortex. :1–11.
Karimi-Bidhendi, Alireza, Malekzadeh-Arasteh, Omid, Lee, Mao-Cheng, McCrimmon, Colin M, Wang, Po T, Mahajan, Akshay, Liu, Charles Yu, Nenadic, Zoran, Do, An H, Heydari, Payam.  2017.  CMOS Ultralow Power Brain Signal Acquisition Front-Ends: Design and Human Testing. IEEE Transactions on Biomedical Circuits and Systems.
Hao-Tien Chiang, Nicholas Malone, Kendra Lesser, Meeko Oishi, Lydia Tapia.  2017.  Hybrid Dynamic Moving Obstacle Avoidance Using a Stochastic Reachable Set Based Potential Field. {IEEE Transactions on Robotics}.

To appear

Behzad Tabibian, Michael Lewis, Christian Lebiere, Nilanjan Chakraborty, Katia Sycara, Meeko Oishi.  2014.  Towards a Cognitively-based Analytic Model of Human Control of Swarms. Proceedings of the {AAAI} Spring Symposium. :68–73.

Technical Report SS-14-02, ``Formal Verification and Modeling in Human-Machine Systems''

Nick Malone, Kendra Lesser, Meeko Oishi, Lydia Tapia.  2014.  Stochastic Reachability Based Motion Planning for Multiple Moving Obstacle Avoidance. Hybrid Systems: Computation and Control. :51–60.
Lewis Chiang, Nick Malone, Kendra Lesser, Meeko Oishi, Lydia Tapia.  2015.  Path-Guided Artificial Potential Fields with Stochastic Reachable Sets for Motion Planning in Highly Dynamic Environments. International Conference on Robotics and Automation. :2347–2354.
S. Brahma, R. Kavasseri, H. Cao, N. R. Chaudhuri, T. Alexopoulos, Y. Cui.  2017.  Real-Time Identification of Dynamic Events in Power Systems Using PMU Data, and Potential Applications #8212;Models, Promises, and Challenges. IEEE Transactions on Power Delivery. 32:294-301.
Dougald, Lance, Rescot, Robert A, Qu, Shuo, Noteboom, Rebecca, Nafakh, Ahmad, Boot, Walter, Charness, Neil, Roque, Nelson, Barajas, Kimberly, Dirghalli, Jared et al..  2015.  Evaluation of a Rectangular Rapid Flashing Beacon System at the Belmont Ridge Road and W & OD Trail Mid-Block Crosswalk.
Kaisar, Evangelos I, Hourdos, John, Nieland, Robin.  Submitted.  Traffic Impact Assessment of Partial Cloverleaf Interchange.
Srinivas Pinisetty, Partha S Roop, Steven Smyth, Nathan Allen, Stavros Tripakis, Reinhard von Hanxleden.  2017.  Runtime Enforcement of Cyber-Physical Systems. International Conference on Embedded Software (EMSOFT).
[Anonymous].  2016.  Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016.
2018-05-11
Taha, Ahmad F, Gatsis, Nikolaos, Summers, Tyler, Nugroho, Sebastian.  2017.  Time-Varying Sensor and Actuator Selection for Uncertain Cyber-Physical Systems. arXiv preprint arXiv:1708.07912.
Taha, Ahmad F., Gatsis, Nikolaos, Summers, Tyler, Nugroho, Sebastian.  2017.  Actuator Selection for Cyber-Physical Systems. 2017 American Control Conference, Seattle.
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}.
Fedor Shmarov, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott Smolka, Paolo Zuliani.  2017.  SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems. Haifa Verification Conference, to appear.
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.