Biblio
Filters: First Letter Of Last Name is N [Clear All Filters]
.
2017. Energy-Efficient Activity Recognition via Multiple Time-Scale Analysis. IEEE Symp. Series on Computational Intelligence (SSCI).
.
2017. Robust Trajectory-based Density Estimation for Geometric Structure Recovery. European Signal Processing Conf. (EUSIPCO).
.
2017. Sufficient Conditions for Asymptotic Stability and Feedback Control of Set Dynamical Systems. Proceedings of the American Control Conference. :1923–1928.
.
2016. Detectability and Invariance Properties for Set Dynamical Systems. Proceedings of 10th IFAC Symposium on Nonlinear Control Systems. :1030–1035.
.
2016. Securing loosely-coupled collaboration in cloud environment through dynamic detection and removal of access conflicts. IEEE Transactions on Cloud Computing. 4:349–362.
.
2017. A Novel Approach for Efficient Usage of Intrusion Detection System in Mobile Ad Hoc Networks. IEEE Transactions on Vehicular Technology. 66:1684–1695.
.
2016. Determining quality-and energy-aware multiple contexts in pervasive computing environments. IEEE/ACM Transactions on Networking. 24:3026–3042.
.
2017. Learning to Speed Up Query Planning in Graph Databases. International Conference on Automated Planning and Scheduling.
.
2017. Information structures and values in zero-sum stochastic games. American Control Conference (ACC), 2017. :3658–3663.
.
2017. Dimension Spectra of Lines. Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings. :304–314.
.
2017. Bounding the Dimension of Points on a Line. Theory and Applications of Models of Computation - 14th Annual Conference, {TAMC} 2017, Bern, Switzerland, April 20-22, 2017, Proceedings. :425–439.
.
2017. Real-time Communication for Manufacturing Cyber-Physical Systems. Proc. of 2017 IEEE 16th International Symposium on Network Computing and Applications (NCA).
.
2016. 3D dynamic walking on stepping stones with control barrier functions. Decision and Control (CDC), 2016 IEEE 55th Conference on. :827–834.
.
2012. Smart alarms: multivariate medical alarm integration for post CABG surgery patients. {IHI}. :533-542.
.
2014. Stochastic Reachability Based Motion Planning for Multiple Moving Obstacle Avoidance. Hybrid Systems: Computation and Control. :51–60.
.
2017. Closed-loop quantitative verification of rate-adaptive pacemakers. ACM Transactions on Cyber-Physical Systems, to appear.
.
2017. Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties. Computational Methods in Systems Biology. 10545:214–232.
.
2016. Verena: End-to-End Integrity Protection for Web Applications. IEEE Symposium of Security and Privacy (Oakland).
.
2016. Control Synthesis for Large Collections of Systems with Mode-Counting Constraints. Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control. :205–214.
.
2014. Preliminary results on correct-by-construction control software synthesis for adaptive cruise control. Decision and Control (CDC), 2014 IEEE 53rd Annual Conference on. :816–823.
.
2014. Incremental synthesis of switching protocols via abstraction refinement. Decision and Control (CDC), 2014 IEEE 53rd Annual Conference on. :6246–6253.
.
2016. Synthesis of separable controlled invariant sets for modular local control design. American Control Conference (ACC), 2016. :5656–5663.
.
2016. Correct-by-construction adaptive cruise control: Two approaches. IEEE Transactions on Control Systems Technology. 24:1294–1307.
.
2016. The Image Torque Operator for Contour Processing. arXiv preprint arXiv:1601.04669.