Coverart for item
The Resource 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.)

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.)

Label
Hybrid systems : computation and control : 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001 : proceedings
Title
Hybrid systems
Title remainder
computation and control : 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001 : proceedings
Statement of responsibility
Maria Domenica Di Benedetto, Alberto Sangiovanni-Vincentelli, (Eds.)
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
DLC
Illustrations
illustrations
Index
no index present
LC call number
QA76.38
LC item number
.H73 2001
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2001
http://bibfra.me/vocab/lite/meetingName
HSCC (Conference)
http://library.link/vocab/relatedWorkOrContributorName
  • Di Benedetto, Maria Domenica
  • Sangiovanni-Vincentelli, Alberto
http://library.link/vocab/subjectName
  • Hybrid computers
  • commande hybride
  • vérification système
  • système réactif
  • système embarqué
  • système hybride
  • Calculateurs hybrides
  • Hybrid computers
  • Hybride computers
  • Calculateurs hybrides
  • Hybrides System
  • Kongress
Label
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.)
Instantiates
Publication
Bibliography note
Includes bibliographic references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
  • 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
  • Control as an embedded technology
  • On hybrid control of under-actuated mechanical systems
  • Eugene Asarin [and others]
  • On the decidability of the reachability problem for planar differential inclusions
  • 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
  • Manfred Morari
  • 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
  • Optimisation of hybrid processes and hybrid controllers
  • Clustering technique for the identification of piecewise affine systems
  • Giancarlo Ferrari-Trecate [and others]
  • 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
  • Costas C. Pantelides
  • 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
  • Characterization of stabilizing switching sequences in switched linear systems using piecewise linear lyapunov functions
  • Xenofon D. Koutsoukos, Panos J. Antsaklis
  • Embedded software and systems: challenges and approaches
  • 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
  • Janos Sztipanovits
  • 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
  • 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
  • Hybrid systems applications: an oxymoron?
  • Alberto Sangiovanni-Vincentelli [and others]
Dimensions
24 cm.
Dimensions
unknown
Extent
xiv, 516 pages
Isbn
9783540418665
Isbn Type
(pbk. : alk. paper)
Lccn
2001020731
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
Sound
unknown sound
Specific material designation
remote
System control number
  • (OCoLC)46600527
  • (OCoLC)ocm46600527
Label
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.)
Publication
Bibliography note
Includes bibliographic references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
  • 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
  • Control as an embedded technology
  • On hybrid control of under-actuated mechanical systems
  • Eugene Asarin [and others]
  • On the decidability of the reachability problem for planar differential inclusions
  • 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
  • Manfred Morari
  • 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
  • Optimisation of hybrid processes and hybrid controllers
  • Clustering technique for the identification of piecewise affine systems
  • Giancarlo Ferrari-Trecate [and others]
  • 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
  • Costas C. Pantelides
  • 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
  • Characterization of stabilizing switching sequences in switched linear systems using piecewise linear lyapunov functions
  • Xenofon D. Koutsoukos, Panos J. Antsaklis
  • Embedded software and systems: challenges and approaches
  • 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
  • Janos Sztipanovits
  • 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
  • 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
  • Hybrid systems applications: an oxymoron?
  • Alberto Sangiovanni-Vincentelli [and others]
Dimensions
24 cm.
Dimensions
unknown
Extent
xiv, 516 pages
Isbn
9783540418665
Isbn Type
(pbk. : alk. paper)
Lccn
2001020731
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
Sound
unknown sound
Specific material designation
remote
System control number
  • (OCoLC)46600527
  • (OCoLC)ocm46600527

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...