Laboratory for Control, Learning, and Systems Biology

1996

  1. R. Alur, T.A. Henzinger, E.D. Sontag, "Hybrid Systems III. Verification and Control (edited book)", Springer Verlag, Berlin, 1996.
    (LNCS 1066)
  2. F.H. Clarke, Y.S. Ledyaev, E.D. Sontag, A.I. Subbotin, "Asymptotic controllability and feedback stabilization", In Proc.\ Conf.\ on Information Sciences and Systems (CISS 96)\/Princeton, NJ, pp. 1232–1237, 1996.
  3. B. Dasgupta, E.D. Sontag, "Sample complexity for learning recurrent perceptron mappings", In Advances in Neural Information Processing Systems 8, pp. 204–210, 1996.
    Proc. NIPS(NeurIPS)-8, Denver, 1995, https://papers.nips.cc/paper_files/paper/1995
  4. B. DasGupta, E.D. Sontag, "Sample complexity for learning recurrent perceptron mappings", IEEE Trans. Inform. Theory, vol. 42, no. 5, pp. 1479–1487, 1996. pdf
    Abstract

    Recurrent perceptron classifiers generalize the usual perceptron model. They correspond to linear transformations of input vectors obtained by means of "autoregressive moving-average schemes", or infinite impulse response filters, and allow taking into account those correlations and dependences among input coordinates which arise from linear digital filtering. This paper provides tight bounds on sample complexity associated to the fitting of such models to experimental data. The results are expressed in the context of the theory of probably approximately correct (PAC) learning.

  5. P. Koiran, E.D. Sontag, "Neural networks with quadratic VC dimension", In Advances in Neural Information Processing Systems 8, pp. 197–203, 1996.
    Proc. NIPS(NeurIPS)-8, Denver, 1995, https://papers.nips.cc/paper_files/paper/1995
  6. Y. Lin, E.D. Sontag, Y. Wang, "A smooth converse Lyapunov theorem for robust stability", SIAM J. Control Optim., vol. 34, no. 1, pp. 124–160, 1996. doipdf
    Abstract

    This paper presents a Converse Lyapunov Function Theorem motivated by robust control analysis and design. Our result is based upon, but generalizes, various aspects of well-known classical theorems. In a unified and natural manner, it (1) allows arbitrary bounded time-varying parameters in the system description, (2) deals with global asymptotic stability, (3) results in smooth (infinitely differentiable) Lyapunov functions, and (4) applies to stability with respect to not necessarily compact invariant sets.

  7. W. Liu, Y. Chitour, E.D. Sontag, "On finite-gain stabilizability of linear systems subject to input saturation", SIAM J. Control Optim., vol. 34, no. 4, pp. 1190–1219, 1996. doipdf
    Abstract

    This paper deals with (global) finite-gain input/output stabilization of linear systems with saturated controls. For neutrally stable systems, it is shown that the linear feedback law suggested by the passivity approach indeed provides stability, with respect to every Lp-norm. Explicit bounds on closed-loop gains are obtained, and they are related to the norms for the respective systems without saturation. These results do not extend to the class of systems for which the state matrix has eigenvalues on the imaginary axis with nonsimple (size >1) Jordan blocks, contradicting what may be expected from the fact that such systems are globally asymptotically stabilizable in the state-space sense; this is shown in particular for the double integrator.

  8. E.D. Sontag, Y. Wang, "New characterizations of input-to-state stability", IEEE Trans. Automat. Control, vol. 41, no. 9, pp. 1283–1294, 1996. pdf
    Abstract

    We present new characterizations of the Input to State Stability property. As a consequence of these results, we show the equivalence between the ISS property and several (apparent) variations proposed in the literature.

  9. E.D. Sontag, "Interconnected automata and linear systems: a theoretical framework in discrete-time", In Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control, pp. 436–448, 1996. pdf
    Abstract

    This paper summarizes the definitions and several of the main results of an approach to hybrid systems, which combines finite automata and linear systems, developed by the author in the early 1980s. Some related more recent results are briefly mentioned as well.

  10. E.D. Sontag, "Critical points for least-squares problems involving certain analytic functions, with applications to sigmoidal nets", Adv. Comput. Math., vol. 5, no. 2-3, pp. 245–268, 1996. pdf
    Abstract

    This paper deals with nonlinear least-squares problems involving the fitting to data of parameterized analytic functions. For generic regression data, a general result establishes the countability, and under stronger assumptions finiteness, of the set of functions giving rise to critical points of the quadratic loss function. In the special case of what are usually called "single-hidden layer neural networks", which are built upon the standard sigmoidal activation tanh(x) or equivalently 1/(1+exp(-x)), a rough upper bound for this cardinality is provided as well.

  11. E.D. Sontag, H.J. Sussmann, "General classes of control-Lyapunov functions", In Stability theory (Ascona, 1995), pp. 87–96, 1996. pdf
    Abstract

    Shorter and more expository version of "Nonsmooth control-Lyapunov functions"

  12. E.D. Sontag, Y. Wang, "Detectability of nonlinear systems", In Proc.\ Conf.\ on Information Sciences and Systems (CISS 96)\/, Princeton, NJ, pp. 1031–1036, 1996. pdf
    Abstract

    Contains a proof of a technical step, which was omitted from the journal paper due to space constraints

  13. E.D. Sontag, F.R. Wirth, "Remarks on universal nonsingular controls for discrete-time systems", Institute for Dynamical Systems, University of Bremen, 381, 1996.