Visible to the public Biblio

Filters: First Letter Of Last Name is N  [Clear All Filters]
A B C D E F G H I J K L M [N] O P Q R S T U V W X Y Z   [Show ALL]
Nilsson, Petter, Ozay, Necmiye.  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.
Nilsson, Petter, Ozay, Necmiye.  2014.  Incremental synthesis of switching protocols via abstraction refinement. Decision and Control (CDC), 2014 IEEE 53rd Annual Conference on. :6246–6253.
Nilsson, Petter, Ozay, Necmiye.  2016.  Synthesis of separable controlled invariant sets for modular local control design. American Control Conference (ACC), 2016. :5656–5663.
Nicola Paoletti, Andrea Patanè, Marta Kwiatkowska.  2017.  Closed-loop quantitative verification of rate-adaptive pacemakers. ACM Transactions on Cyber-Physical Systems, to appear.
Nguyen, Quan, Hereid, Ayonga, Grizzle, Jessy W, Ames, Aaron D, Sreenath, Koushil.  2016.  3D dynamic walking on stepping stones with control barrier functions. Decision and Control (CDC), 2016 IEEE 55th Conference on. :827–834.
Nguyen, Ngoc-Tu, Leu, Ming, Liu, Xiaoqing Frank.  2017.  Real-time Communication for Manufacturing Cyber-Physical Systems. Proc. of 2017 IEEE 16th International Symposium on Network Computing and Applications (NCA).
Neil Lutz, Donald M. Stull.  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.
Neil Lutz, Donald M. Stull.  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.
Nayyar, Ashutosh, Gupta, Abhishek.  2017.  Information structures and values in zero-sum stochastic games. American Control Conference (ACC), 2017. :3658–3663.
Namaki, M, Chowdhury, F, Islam, M, Doppa, J, Wu, Y.  2017.  Learning to Speed Up Query Planning in Graph Databases. International Conference on Automated Planning and Scheduling.
N.Marchang, R.Datta, S.K.Das.  2017.  A Novel Approach for Efficient Usage of Intrusion Detection System in Mobile Ad Hoc Networks. IEEE Transactions on Vehicular Technology. 66:1684–1695.
N. Risso, R. G. Sanfelice.  2016.  Detectability and Invariance Properties for Set Dynamical Systems. Proceedings of 10th IFAC Symposium on Nonlinear Control Systems. :1030–1035.
N. Risso, R. G. Sanfelice.  2017.  Sufficient Conditions for Asymptotic Stability and Feedback Control of Set Dynamical Systems. Proceedings of the American Control Conference. :1923–1928.