Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008668032/catalog> ?p ?o. }

• catalog contributor b12142939.
• catalog contributor b12142940.
• catalog contributor b12142941.
• catalog created "2001.".
• catalog date "2001".
• catalog date "2001.".
• catalog dateCopyrighted "2001.".
• catalog description "Addressing multiobjective control: safety and performance through constrained optimization / Meeko Oishi [and others] -- Representation of quantised systems by the frobenius-perron operator / Jochen Schróder, Jan Lunze -- Semi-deciable synthesis for triangular hybrid systems / Omid Shakernia, George J. Pappas, Shankar Sastry.".
• catalog description "Characterization of stabilizing switching sequences in switched linear systems using piecewise linear lyapunov functions / Xenofon D. Koutsoukos, Panos J. Antsaklis -- On a novel class of bifurcations in hybrid dynamical systems: the case of relay feedback systems / P. Kowalczyk, M. di Bernardo -- Global controllability of hybrid systems with controlled and autonomous switchings / Ekaterina S. Lemch, Shankar Sastry, Peter E. Caines -- Modeling of continuous-discrete processes / Vishal Bahl, Andreas A. Linninger -- Hybrid I/O automata revisited / Nancy Lynch, Roberto Segala, Fritz Vaandrager -- Validating a hamilton-jacobi approximation to hybrid system reachable sets / Ian Mitchell, Alexandre M. Bayen, Claire J. Tomlin -- Robust controller synthesis for hybrid systems using modal logic / Thomas Moor, J.M. Davoren -- Diagnosis of physical systems with hybrid models using parametrized causality / Pieter J. Mosterman --".
• catalog description "Control as an embedded technology / Manfred Morari -- Optimisation of hybrid processes and hybrid controllers / Costas C. Pantelides -- Embedded software and systems: challenges and approaches / Janos Sztipanovits -- Hybrid systems applications: an oxymoron? / Alberto Sangiovanni-Vincentelli [and others] -- Design of luenberger observers for a class of hybrid linear systems / A. Alessandri, P. Coletta -- Hybrid modelling and simulatiom of biomolecular networks / Rajeev Alur [and others] -- Compositional refinement for hierarchical hybrid systems / Rajeev Alur [and others] -- Optimal paths in weighted timed automata / Rajeev Alur, Salvatore La Torre, George J. Pappas -- Reach set computations using real quantifier elimination / Hirokazu Anai, Volker Weispfenning -- On hybrid control of under-actuated mechanical systems / Eugene Asarin [and others] -- On the decidability of the reachability problem for planar differential inclusions /".
• catalog description "Eugene Asarin, Gerardo Schneider, Sergio Yovine -- Substratum of impulse and hybrid control systems / Jean-Pierre Aubin -- Path-dependent impulse and hybrid systems / Jean-Pierre Aubin, George Haddad -- Hybrid feedback control for path tracking by a bounded-curvature vehicle / Andrea Balluchi, Philippe Souères, Antonio Bicchi -- Minimum-cost reachability for priced timed automata / Gerd Behrmann [and others] -- Hybrid approach to traction contol / Francesco Borrelli [and others] -- Optimal control using bisimulations: implementation / Mireille Broucke [and others] -- Generalized approach for analysis and control of discrete-time piecewise affine and hybrid systems / Francesco A. Cuzzola, Manfred Morari -- Accurate event detection for simulating hybrid systems / Joel M. Esposito, Vijay Kumar, George J. Pappas -- Clustering technique for the identification of piecewise affine systems / Giancarlo Ferrari-Trecate [and others] --".
• catalog description "Includes bibliographic references and index.".
• catalog description "Lateral inhibition through delta-notch signaling: a piecewise affine hybrid model / Ronojoy Ghosh, Claire J. Tomlin -- Supervision of event-driven hybrid systems: modeling and synthesis / Joé M.E. González [and others] -- Control of piecewise-linear hybrid systems on simplices and rectangles / Luc C.G.J.M. Habets, Jan H. van Schuppen -- Assume-guarantee reasoning for hierarchical hybrid systems / Thomas A. Henzinger, Marius Minea, Vinayak Prabhu -- Hybrid modeling of TCP congestion contol / João P. Hespanha [and others] -- Hybrid geodesics as optimal solutions to the collision-free motion planning problem / Jianghai Hu [and others] -- Nonlinear adaptive backstepping with estimator resetting using multiple observers / Jens Kalkkuhl [and others] -- Mode switching synthesis for reachability specifications / T. John Koo, George J. Pappas, Shankar Sastry --".
• catalog extent "xiv, 514 p. :".
• catalog identifier "3540418660 (pbk. : alk. paper)".
• catalog isPartOf "Lecture notes in computer science ; 2034".
• catalog issued "2001".
• catalog issued "2001.".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer,".
• catalog subject "004.1/9 21".
• catalog subject "Hybrid computers Congresses.".
• catalog subject "QA76.38 .H73 2001".
• catalog tableOfContents "Addressing multiobjective control: safety and performance through constrained optimization / Meeko Oishi [and others] -- Representation of quantised systems by the frobenius-perron operator / Jochen Schróder, Jan Lunze -- Semi-deciable synthesis for triangular hybrid systems / Omid Shakernia, George J. Pappas, Shankar Sastry.".
• catalog tableOfContents "Characterization of stabilizing switching sequences in switched linear systems using piecewise linear lyapunov functions / Xenofon D. Koutsoukos, Panos J. Antsaklis -- On a novel class of bifurcations in hybrid dynamical systems: the case of relay feedback systems / P. Kowalczyk, M. di Bernardo -- Global controllability of hybrid systems with controlled and autonomous switchings / Ekaterina S. Lemch, Shankar Sastry, Peter E. Caines -- Modeling of continuous-discrete processes / Vishal Bahl, Andreas A. Linninger -- Hybrid I/O automata revisited / Nancy Lynch, Roberto Segala, Fritz Vaandrager -- Validating a hamilton-jacobi approximation to hybrid system reachable sets / Ian Mitchell, Alexandre M. Bayen, Claire J. Tomlin -- Robust controller synthesis for hybrid systems using modal logic / Thomas Moor, J.M. Davoren -- Diagnosis of physical systems with hybrid models using parametrized causality / Pieter J. Mosterman --".
• catalog tableOfContents "Control as an embedded technology / Manfred Morari -- Optimisation of hybrid processes and hybrid controllers / Costas C. Pantelides -- Embedded software and systems: challenges and approaches / Janos Sztipanovits -- Hybrid systems applications: an oxymoron? / Alberto Sangiovanni-Vincentelli [and others] -- Design of luenberger observers for a class of hybrid linear systems / A. Alessandri, P. Coletta -- Hybrid modelling and simulatiom of biomolecular networks / Rajeev Alur [and others] -- Compositional refinement for hierarchical hybrid systems / Rajeev Alur [and others] -- Optimal paths in weighted timed automata / Rajeev Alur, Salvatore La Torre, George J. Pappas -- Reach set computations using real quantifier elimination / Hirokazu Anai, Volker Weispfenning -- On hybrid control of under-actuated mechanical systems / Eugene Asarin [and others] -- On the decidability of the reachability problem for planar differential inclusions /".
• catalog tableOfContents "Eugene Asarin, Gerardo Schneider, Sergio Yovine -- Substratum of impulse and hybrid control systems / Jean-Pierre Aubin -- Path-dependent impulse and hybrid systems / Jean-Pierre Aubin, George Haddad -- Hybrid feedback control for path tracking by a bounded-curvature vehicle / Andrea Balluchi, Philippe Souères, Antonio Bicchi -- Minimum-cost reachability for priced timed automata / Gerd Behrmann [and others] -- Hybrid approach to traction contol / Francesco Borrelli [and others] -- Optimal control using bisimulations: implementation / Mireille Broucke [and others] -- Generalized approach for analysis and control of discrete-time piecewise affine and hybrid systems / Francesco A. Cuzzola, Manfred Morari -- Accurate event detection for simulating hybrid systems / Joel M. Esposito, Vijay Kumar, George J. Pappas -- Clustering technique for the identification of piecewise affine systems / Giancarlo Ferrari-Trecate [and others] --".
• catalog tableOfContents "Lateral inhibition through delta-notch signaling: a piecewise affine hybrid model / Ronojoy Ghosh, Claire J. Tomlin -- Supervision of event-driven hybrid systems: modeling and synthesis / Joé M.E. González [and others] -- Control of piecewise-linear hybrid systems on simplices and rectangles / Luc C.G.J.M. Habets, Jan H. van Schuppen -- Assume-guarantee reasoning for hierarchical hybrid systems / Thomas A. Henzinger, Marius Minea, Vinayak Prabhu -- Hybrid modeling of TCP congestion contol / João P. Hespanha [and others] -- Hybrid geodesics as optimal solutions to the collision-free motion planning problem / Jianghai Hu [and others] -- Nonlinear adaptive backstepping with estimator resetting using multiple observers / Jens Kalkkuhl [and others] -- Mode switching synthesis for reachability specifications / T. John Koo, George J. Pappas, Shankar Sastry --".
• catalog title "Hybrid systems : computation and control : 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001 : proceedings / Maria Domenica Di Benedetto, Alberto Sangiovanni-Vincentelli, (Eds.)".
• catalog type "Conference proceedings. fast".
• catalog type "Rom (2001) swd".
• catalog type "text".