Biblio
Filters: First Letter Of Last Name is Y [Clear All Filters]
.
2016. On Distributed Intermittent Consensus for First-Order Systems with Robustness. Proceedings of 10th IFAC Symposium on Nonlinear Control Systems. :146–151.
.
2017. On Conditions for The Existence of Hybrid Limit Cycles. Proceedings of the American Control Conference. :1187–1192.
.
2016. Interconnected Observers for Linear Systems to Improve Rate of Convergence and Robustness to Measurement Noise. IEEE Transactions on Control of Network Systems. 3:1–11.
.
2016. Basic Properties and Characterizations of Incremental Stability Prioritizing Flow Time for a Class of Hybrid Systems. Systems and Control Letters. 90:7-15.
.
2018. Robust Distributed Estimation for Linear Systems under Intermittent Information. To appear in IEEE Transactions on Automatic Control.
.
2017. Incremental Graphical Asymptotic Stability for Hybrid Dynamical Systems. 473:231–262.
.
2017. Dubins Curves for 3D Multi-Vehicle Path Planning Using Spline Interpolation. OCEANS 2017 MTS/IEEE Anchorage. :1-5.
.
2017. Localization in 3-D by Using Magnetic-Induction Communications in Near-Field. OCEANS 2017 MTS/IEEE Anchorage. :1-5.
.
2017. Particle filter-based dual estimation for synchronous generators. IET Generation, Transmission Distribution. 11:1701-1708.
.
2017. Unsupervised anomaly detection based on minimum spanning tree approximated distance measures and its application to hydropower turbines. IEEE Transactions on Automation Science and Engineering. submitted
.
2017. Guided undersampling using ensemble filtering and normalized cuts for imbalanced data classification. Journal of Machine Learning Research. submitted
.
2017. Sequential design for functional calibration of computer models. Technometrics. accepted
.
2015. A soft exosuit for patients with stroke: Feasibility study with a mobile off-board actuation unit. 2015 IEEE International Conference on Rehabilitation Robotics (ICORR). :131-138.
.
2016. Validation of cognitive models for collaborative hybrid systems with discrete human input. {IEEE/RSJ} International Conference on Intelligent Robots and Systems. :3339–3346.
.
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.
.
2017. Dynamic State Estimation Assisted Out-of-Step Detection for Generators Using Angular Difference. IEEE Transactions on Power Delivery. 32:1441-1449.
.
2016. Dynamic state estimation assisted posturing for generator out-of-step protection. 2016 IEEE Power and Energy Society General Meeting (PESGM). :1-5.
.
2017. Predictive runtime enforcement. Formal Methods in System Design. 51:154–199.
.
2017. Predictive runtime verification of timed properties. Journal of Systems and Software. 132:353–365.
.
2016. Predictive runtime enforcement. Proceedings of the 31st Annual {ACM} Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016. :1628–1633.
.
2015. Efficient distribution of Triggered Synchronous Block Diagrams on asynchronous platforms. 2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, {SAMOS} 2015, Samos, Greece, July 19-23, 2015. :113–122.
.
2014. From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings. Lecture Notes in Computer Science. 8415
.
2017. SMT-Based Observer Design for Cyber-Physical Systems Under Sensor Attacks. ACM Trans. Cyber-Physical Systems.
.
2017. Robust Coordination of Small UAVs for Vision-based Target Tracking using Output-Feedback MPC with MHE. Cooperative Control of Multi-agent Systems: Theory and Applications.