PublicationsStephen PrajnaJournal Papers[J6] A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates.S. Prajna, A. Jadbabaie, and G. J. Pappas. Submitted to IEEE Transactions on Automatic Control. 2005. [J5] Advanced Methods and Algorithms for Biological Networks Analysis. H. El-Samad, A. Papachristodoulou, S. Prajna, J. C. Doyle, and M. Khammash. To appear in Proceedings of the IEEE. 2006. [J4] Barrier Certificates for Nonlinear Model Validation. S. Prajna. Automatica 42(1):117-126. 2006. [J3] SOS-based Solution Approach to Polynomial LPV System Analysis and Synthesis Problems. F. Wu, S. Prajna. International Journal of Control 78(8): 600-611. 2005. [J2] Nonlinear Control Synthesis by Convex Optimization. S. Prajna, P. A. Parrilo, A. Rantzer. IEEE Transactions on Automatic Control 49(2): 310-314. 2004. [J1] An LMI Approach to Stabilization of Linear Port-Controlled Hamiltonian Systems. S. Prajna, A. J. van der Schaft, G. Meinsma. Systems and Control Letters 45(5): 371-385. 2002. Book Chapters[B5] Primal-Dual Tests for Safety and Reachability.S. Prajna, A. Rantzer. In Hybrid Systems: Computation and Control, pp. 542-556. Springer-Verlag. 2005. [B4] SOSTOOLS and Its Control Applications. S. Prajna, A. Papachristodoulou, P. Seiler, P. A. Parrilo. In Positive Polynomials in Control, pp. 273-292. Springer-Verlag. 2005. [B3] Analysis of Non-polynomial Systems Using the Sum of Squares Decomposition. A. Papachristodoulou, S. Prajna. In Positive Polynomials in Control, pp. 23-43. Springer-Verlag. 2005. [B2] Safety Verification of Hybrid Systems Using Barrier Certificates. S. Prajna, A. Jadbabaie. In Hybrid Systems: Computation and Control, pp. 477-492. Springer-Verlag. 2004. [B1] On Homogeneous Density Functions. S. Prajna, A. Rantzer. In Directions in Mathematical Systems Theory and Optimization, pp. 261-274. Springer-Verlag. 2003. Theses[T2] Optimization-Based Methods for Nonlinear and Hybrid Systems Verification.S. Prajna. Ph.D. Thesis, Control and Dynamical Systems, California Institute of Technology. 2005. [T1] Results on Stabilization of Port-Controlled Hamiltonian Systems. S. Prajna. Master's Thesis, Fac. Mathematical Sciences, University of Twente. 2000. Software[S1] SOSTOOLS: Sum of Squares Optimization Toolbox for MATLAB.S. Prajna, A. Papachristodoulou, P. Seiler, P. A. Parrilo. Downloadable from http://www.cds.caltech.edu/sostools. 2002, 2004. Conference Papers[C22] On Model Reduction of Polynomial Dynamical Systems.S. Prajna, H. Sandberg. Proceedings of the IEEE Conference on Decision and Control (CDC), Seville, Spain. 2005. [C21] Methods for Safety Verification of Time-Delay Systems. S. Prajna, A. Jadbabaie. Proceedings of the IEEE Conference on Decision and Control (CDC), Seville, Spain. 2005. [C20] On Scalar LQG Control with Communication Cost. C.-K. Ko, X. Gao, S. Prajna, and L. Schulman. Proceedings of the IEEE Conference on Decision and Control (CDC), Seville, Spain. 2005. [C19] Analysis of the Lactose Metabolism in E Coli Using Sum of Squares Decomposition. A. Ahmadzadeh, A. Halasz, S. Prajna, A. Jadbabaie, V. Kumar. Proceedings of the IEEE Conference on Decision and Control (CDC), Seville, Spain. 2005. [C18] Application of Robust Model Validation Using SOSTOOLS to the Study of G-Protein Signaling in Yeast. T.-M. Yi, M. Fazel, X. Liu, O. Otitoju, J. Goncalves, A. Papachristodoulou, S. Prajna, J. C. Doyle. Proceedings of Foundations of Systems Biology in Engineering (FOSBE), Santa Barbara, CA. 2005. [C17] On the Necessity of Barrier Certificates. S. Prajna, A. Rantzer. Proceedings of the IFAC World Congress, Prague, Czech Republic. 2005. [C16] A Tutorial on Sum of Squares Techniques for Systems Analysis. A. Papachristodoulou, S. Prajna. Proceedings of the American Control Conference (ACC). Portland, OR, 2005. [C15] Stochastic Safety Verification Using Barrier Certificates. S. Prajna, A. Jadbabaie, G. J. Pappas. Proceedings of the IEEE Conference on Decision and Control (CDC), Paradise Island, Bahamas. 2004. [C14] S.O.S. for Safety. H. Yazarel, S. Prajna, G. J. Pappas. Proceedings of the IEEE Conference on Decision and Control (CDC), Paradise Island, Bahamas. 2004. [C13] On Analysis and Synthesis of Safe Control Laws. A. Rantzer, S. Prajna. Proceedings of the Allerton Conference on Communication, Control, and Computing, Champaign-Urbana, IL. 2004. [C12] SOSTOOLS: Control Applications and New Developments. S. Prajna, A. Papachristodoulou, P. Seiler, P. A. Parrilo. Proceedings of the IEEE Conference on Computer Aided Control Systems Design (CACSD), Taipei, Taiwan. 2004. [C11] Nonlinear Control Synthesis by Sum of Squares Optimization: A Lyapunov-based Approach. S. Prajna, A. Papachristodoulou, F. Wu. Proceedings of the Asian Control Conference (ASCC), Melbourne, Australia. 2004. [C10] New Developments in Sum of Squares Optimization and SOSTOOLS. S. Prajna, A. Papachristodoulou, P. Seiler, P. A. Parrilo. Proceedings of the American Control Conference (ACC), Boston, MA. 2004. [C9] A New Solution Approach to Polynomial LPV System Analysis and Synthesis. F. Wu, S. Prajna. Proceedings of the American Control Conference (ACC), Boston, MA. 2004. [C8] Barrier Certificates for Nonlinear Model Validation. S. Prajna. Proceedings of the IEEE Conference on Decision and Control (CDC), Maui, HI. 2003. The proofs can be found in this technical report. [C7] POD Model Reduction with Stability Guarantee. S. Prajna. Proceedings of the IEEE Conference on Decision and Control (CDC), Maui, HI. 2003. [C6] Model Validation and Robustness Analysis of the Bacterial Heat Shock Response using SOSTOOLS. H. El-Samad, S. Prajna, A. Papachristodoulou, M. H. Khammash, J. C. Doyle. Proceedings of the IEEE Conference on Decision and Control (CDC), Maui, HI. 2003. [C5] Analysis of Switched and Hybrid Systems - Beyond Piecewise Quadratic Methods. S. Prajna, A. Papachristodoulou. Proceedings of the American Control Conference (ACC), Denver, CO. 2003. [C4] On the Construction of Lyapunov Functions using the Sum of Squares Decomposition. A. Papachristodoulou, S. Prajna. Proceedings of the IEEE Conference on Decision and Control (CDC), Las Vegas, NV. 2002. [C3] Introducing SOSTOOLS: A General Purpose Sum of Squares Programming Solver. S. Prajna, A. Papachristodoulou, P. A. Parrilo. Proceedings of the IEEE Conference on Decision and Control (CDC), Las Vegas, NV. 2002. [C2] Inclusion of Frequency Domain Behaviors. S. Prajna, P. A. Parrilo. Proceedings of the Int. Symposium on Mathematical Theory of Networks and Systems (MTNS), Notre Dame, IN. 2002. [C1] Robust Active Control of a Vibrating Plate. S. Prajna, O. E. Kaiser, S. J. Pietrzko, M. Morari. Proceedings of the National Conference on Noise Control Engineering (NOISE-CON), Newport Beach, CA. 2000. |