Harvard |

Harvard

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

Showing items 1 to 32 of 32 with 100 items per page.

catalog contributor b12547633.
catalog contributor b12547634.
catalog contributor b12547635.
catalog created "c2002.".
catalog date "2002".
catalog date "c2002.".
catalog dateCopyrighted "c2002.".
catalog description "An Approach to Model-Based Diagnosis of Hybrid Systems / Sriram Narasimhan and Gautam Biswas -- Information-Based Alpha-Beta Search and the Homicidal Chauffeur / Todd W. Neller -- Synthesis of Robust Control Systems under Resource Constraints / Luigi Palopoli, Claudio Pinello and Alberto Sangiovanni / [et al.] -- Optimal Control of Quantized Input Systems / Stefania Pancanti, Laura Leonardi and Lucia Pallottino / [et al.] -- Reconfiguration in Hierarchical Control of Piecewise-Affine Systems / Tal Pasternak -- Hybrid Kernels and Capture Basins for Impulse Constrained Systems / Patrick Saint-Pierre -- Ordered Upwind Methods for Hybrid Control / James A. Sethian and Alexander Vladimirsky -- Discrete-Time Refinement of Hybrid Automata / Thomas Stauner -- Control of Switched Hybrid Systems Based on Disjunctive Formulations / Olaf Stursberg and Sebastian Panek -- Composing Abstractions of Hybrid Systems / Paulo Tabuada, George J. Pappas and Pedro Lima -- ".
catalog description "Analysis of Discrete-Time PWA Systems with Logic States / Giancarlo Ferrari-Trecate, Francesco A. Cuzzola and Manfred Morari -- Modeling and Control of Co-generation Power Plants: A Hybrid System Approach / Giancarlo Ferrari-Trecate, Eduarto Gallestey and Paolo Letizia / [et al.] -- Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis / Robert P. Goldman, David J. Musliner and Michael J. S. Pelican -- Computation of Root-Mean-Square Gains of Switched Linear Systems / Joao P. Hespanha -- Mode Estimation of Probabilistic Hybrid Systems / Michael W. Hofbaur and Brian C. Williams -- Symmetry Reduction of a Class of Hybrid Systems / Jianghai Hu and Shankar Sastry -- Bisimulation Based Hierarchical System Architecture for Single-Agent Multi-modal Systems / T. John Koo and Shankar Sastry -- Qualitative Modeling and Heterogeneous Control of Global System Behavior / Benjamin Kuipers and Subramanian Ramamoorthy -- ".
catalog description "Guaranteed Overapproximations of Unsafe Sets for Continuous and Hybrid Systems: Solving the Hamilton-Jacobi Equation Using Viability Techniques / Alexandre M. Bayen, Eva Cruck and Claire J. Tomlin -- On the Optimal Control Law for Linear Discrete Time Hybrid Systems / Alberto Bemporad, Francesco Borrelli and Manfred Morari -- A Computational Framework for the Verification and Synthesis of Force-Guided Robotic Assembly Strategies / Michael S. Branicky and Siddharth R. Chhatpar -- A Comparison of Control Problems for Timed and Hybrid Systems / Franck Cassez, Thomas A. Henzinger and Jean-Francois Raskin -- Hybrid Control Loops, A/D Maps, and Dynamic Specifications / J. M. Davoren, T. Moor and A. Nerode -- Switching and Feedback Laws for Control of Constrained Switched Nonlinear Systems / Nael H. El-Farra and Panagiotis D. Christofides -- Quantized Stabilization of Two-Input Linear Systems: A Lower Bound on the Minimal Quantization Density / Nicola Elia and Emilio Frazzoli -- ".
catalog description "Hybrid and Embedded Software Technologies for Production Large-Scale Systems / David Sharp -- Numerical Methods for Differential Systems with Algebraic Equality and Inequality Constraints / Uri M. Ascher -- From Models to Code: The Missing Link in Embedded Software / Thomas A. Henzinger -- Hybrid System Models of Navigation Strategies for Games and Animations / Eric Aaron, Franjo Ivancic and Dimitris Metaxas -- Hybrid Control of a Truck and Trailer Vehicle / Claudio Altafini, Alberto Speranzon and Karl Henrik Johansson -- Reachability Analysis of Hybrid Systems via Predicate Abstraction / Rajeev Alur, Thao Dang and Franjo Ivancic -- Towards Computing Phase Portraits of Polygonal Differential Inclusions / Eugene Asarin, Gerardo Schneider and Sergio Yovine -- Dynamical Qualitative Analysis of Evolutionary Systems / Jean-Pierre Aubin and Olivier Dordan -- Design of Observers for Hybrid Systems / Andrea Balluchi, Luca Benvenuti and Maria D. Di Benedetto / [et al.] -- ".
catalog description "Includes bibliographical references and index.".
catalog description "Optimal Control of Hysteresis in Smart Actuators: A Viscosity Solutions Approach / Xiaobo Tan and John S. Baras -- Series of Abstractions for Hybrid Automata / Ashish Tiwari and Gaurav Khanna.".
catalog extent "xiii, 480 p. :".
catalog identifier "354043321X (alk. paper)".
catalog isPartOf "Lecture notes in computer science ; 2289".
catalog issued "2002".
catalog issued "c2002.".
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 2002".
catalog tableOfContents "An Approach to Model-Based Diagnosis of Hybrid Systems / Sriram Narasimhan and Gautam Biswas -- Information-Based Alpha-Beta Search and the Homicidal Chauffeur / Todd W. Neller -- Synthesis of Robust Control Systems under Resource Constraints / Luigi Palopoli, Claudio Pinello and Alberto Sangiovanni / [et al.] -- Optimal Control of Quantized Input Systems / Stefania Pancanti, Laura Leonardi and Lucia Pallottino / [et al.] -- Reconfiguration in Hierarchical Control of Piecewise-Affine Systems / Tal Pasternak -- Hybrid Kernels and Capture Basins for Impulse Constrained Systems / Patrick Saint-Pierre -- Ordered Upwind Methods for Hybrid Control / James A. Sethian and Alexander Vladimirsky -- Discrete-Time Refinement of Hybrid Automata / Thomas Stauner -- Control of Switched Hybrid Systems Based on Disjunctive Formulations / Olaf Stursberg and Sebastian Panek -- Composing Abstractions of Hybrid Systems / Paulo Tabuada, George J. Pappas and Pedro Lima -- ".
catalog tableOfContents "Analysis of Discrete-Time PWA Systems with Logic States / Giancarlo Ferrari-Trecate, Francesco A. Cuzzola and Manfred Morari -- Modeling and Control of Co-generation Power Plants: A Hybrid System Approach / Giancarlo Ferrari-Trecate, Eduarto Gallestey and Paolo Letizia / [et al.] -- Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis / Robert P. Goldman, David J. Musliner and Michael J. S. Pelican -- Computation of Root-Mean-Square Gains of Switched Linear Systems / Joao P. Hespanha -- Mode Estimation of Probabilistic Hybrid Systems / Michael W. Hofbaur and Brian C. Williams -- Symmetry Reduction of a Class of Hybrid Systems / Jianghai Hu and Shankar Sastry -- Bisimulation Based Hierarchical System Architecture for Single-Agent Multi-modal Systems / T. John Koo and Shankar Sastry -- Qualitative Modeling and Heterogeneous Control of Global System Behavior / Benjamin Kuipers and Subramanian Ramamoorthy -- ".
catalog tableOfContents "Guaranteed Overapproximations of Unsafe Sets for Continuous and Hybrid Systems: Solving the Hamilton-Jacobi Equation Using Viability Techniques / Alexandre M. Bayen, Eva Cruck and Claire J. Tomlin -- On the Optimal Control Law for Linear Discrete Time Hybrid Systems / Alberto Bemporad, Francesco Borrelli and Manfred Morari -- A Computational Framework for the Verification and Synthesis of Force-Guided Robotic Assembly Strategies / Michael S. Branicky and Siddharth R. Chhatpar -- A Comparison of Control Problems for Timed and Hybrid Systems / Franck Cassez, Thomas A. Henzinger and Jean-Francois Raskin -- Hybrid Control Loops, A/D Maps, and Dynamic Specifications / J. M. Davoren, T. Moor and A. Nerode -- Switching and Feedback Laws for Control of Constrained Switched Nonlinear Systems / Nael H. El-Farra and Panagiotis D. Christofides -- Quantized Stabilization of Two-Input Linear Systems: A Lower Bound on the Minimal Quantization Density / Nicola Elia and Emilio Frazzoli -- ".
catalog tableOfContents "Hybrid and Embedded Software Technologies for Production Large-Scale Systems / David Sharp -- Numerical Methods for Differential Systems with Algebraic Equality and Inequality Constraints / Uri M. Ascher -- From Models to Code: The Missing Link in Embedded Software / Thomas A. Henzinger -- Hybrid System Models of Navigation Strategies for Games and Animations / Eric Aaron, Franjo Ivancic and Dimitris Metaxas -- Hybrid Control of a Truck and Trailer Vehicle / Claudio Altafini, Alberto Speranzon and Karl Henrik Johansson -- Reachability Analysis of Hybrid Systems via Predicate Abstraction / Rajeev Alur, Thao Dang and Franjo Ivancic -- Towards Computing Phase Portraits of Polygonal Differential Inclusions / Eugene Asarin, Gerardo Schneider and Sergio Yovine -- Dynamical Qualitative Analysis of Evolutionary Systems / Jean-Pierre Aubin and Olivier Dordan -- Design of Observers for Hybrid Systems / Andrea Balluchi, Luca Benvenuti and Maria D. Di Benedetto / [et al.] -- ".
catalog tableOfContents "Optimal Control of Hysteresis in Smart Actuators: A Viscosity Solutions Approach / Xiaobo Tan and John S. Baras -- Series of Abstractions for Hybrid Automata / Ashish Tiwari and Gaurav Khanna.".
catalog title "Hybrid systems : computation and control : 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002 : proceedings / Claire J. Tomlin, Mark R. Greenstreet (eds.).".
catalog type "Conference proceedings. fast".
catalog type "Stanford (Calif., 2002) swd".
catalog type "text".