The SCEAS System
Navigation Menu

Conferences in DBLP

Hybrid Systems (hybrid)
2001 (conf/hybrid/2001)

  1. Manfred Morari
    Control as an Embedded Technology. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:1-2 [Conf]
  2. Costas C. Pantelides
    Optimisation of Hybrid Processes and Hybrid Controllers. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:3- [Conf]
  3. Janos Sztipanovits
    Embedded Software and Systems: Challenges and Approaches. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:4- [Conf]
  4. Alberto L. Sangiovanni-Vincentelli, Thomas A. Henzinger, Bruce H. Krogh, Oded Maler, Manfred Morari, Costas C. Pantelides, George J. Pappas, Tunc Simsec, Janos Sztipanovits, Stavros Tripakis
    Hybrid Systems Applications: An Oxymoron? [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:5-6 [Conf]
  5. Angelo Alessandri, Paolo Coletta
    Design of Luenberger Observers for a Class of Hybrid Linear Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:7-18 [Conf]
  6. Rajeev Alur, Calin Belta, Franjo Ivancic
    Hybrid Modeling and Simulation of Biomolecular Networks. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:19-32 [Conf]
  7. Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
    Compositional Refinement for Hierarchical Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:33-48 [Conf]
  8. Rajeev Alur, Salvatore La Torre, George J. Pappas
    Optimal Paths in Weighted Timed Automata. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:49-62 [Conf]
  9. Hirokazu Anai, Volker Weispfenning
    Reach Set Computations Using Real Quantifier Elimination. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:63-76 [Conf]
  10. Eugene Asarin, Sorav Bansal, Bernard Espiau, Thao Dang, Oded Maler
    On Hybrid Control of Under-Actuated Mechanical Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:77-88 [Conf]
  11. Eugene Asarin, Gerardo Schneider, Sergio Yovine
    On the Decidability of the Reachability Problem for Planar Differential Inclusions. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:89-104 [Conf]
  12. Jean-Pierre Aubin
    The Substratum of Impulse and Hybrid Control Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:105-118 [Conf]
  13. Jean-Pierre Aubin, George Haddad
    Path-Dependent Impulse and Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:119-132 [Conf]
  14. Andrea Balluchi, Philippe Souères, Antonio Bicchi
    Hybrid Feedback Control for Path Tracking by a Bounded-Curvature Vehicle. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:133-146 [Conf]
  15. Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson, Judi Romijn, Frits W. Vaandrager
    Minimum-Cost Reachability for Priced Timed Automata. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:147-161 [Conf]
  16. Francesco Borrelli, Alberto Bemporad, Michael Fodor, Davor Hrovat
    A Hybrid Approach to Traction Control. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:162-174 [Conf]
  17. Mireille E. Broucke, Maria Domenica Di Benedetto, Stefano Di Gennaro, Alberto L. Sangiovanni-Vincentelli
    Optimal Control Using Bisimulations: Implementation. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:175-188 [Conf]
  18. Francesco Alessandro Cuzzola, Manfred Morari
    A Generalized Approach for Analysis and Control of Discrete-Time Piecewise Affine and Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:189-203 [Conf]
  19. Joel M. Esposito, Vijay Kumar, George J. Pappas
    Accurate Event Detection for Simulating Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:204-217 [Conf]
  20. Giancarlo Ferrari-Trecate, Marco Muselli, Diego Liberati, Manfred Morari
    A Clustering Technique for the Identification of Piecewise Affine Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:218-231 [Conf]
  21. Ronojoy Ghosh, Claire Tomlin
    Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:232-246 [Conf]
  22. José M. E. González, Antonio E. C. da Cunha, José E. R. Cury, Bruce H. Krogh
    Supervision of Event-Driven Hybrid Systems: Modeling and Synthesis. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:247-260 [Conf]
  23. Luc C. G. J. M. Habets, Jan H. van Schuppen
    Control of Piecewise-Linear Hybrid Systems on Simplices and Rectangles. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:261-274 [Conf]
  24. Thomas A. Henzinger, Marius Minea, Vinayak S. Prabhu
    Assume-Guarantee Reasoning for Hierarchical Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:275-290 [Conf]
  25. João P. Hespanha, Stephan Bohacek, Katia Obraczka, Junsoo Lee
    Hybrid Modeling of TCP Congestion Control. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:291-304 [Conf]
  26. Jianghai Hu, Maria Prandini, Karl Henrik Johansson, Shankar Sastry
    Hybrid Geodesics as Optimal Solutions to the Collision-Free Motion Planning Problem. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:305-318 [Conf]
  27. Jens Kalkkuhl, Tor Arne Johansen, Jens Lüdemann, Andreas Queda
    Nonlinear Adaptive Backstepping with Estimator Resetting Using Multiple Observers. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:319-332 [Conf]
  28. Tak-John Koo, George J. Pappas, Shankar Sastry
    Mode Switching Synthesis for Reachability Specifications. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:333-346 [Conf]
  29. Xenofon D. Koutsoukos, Panos J. Antsaklis
    Characterization of Stabilizing Switching Sequences in Switched Linear Systems Using Piecewise Linear Lyapunov Functions. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:347-360 [Conf]
  30. P. Kowalczyk, Mario di Bernardo
    On a Novel Class of Bifurcations in Hybrid Dynamical Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:361-374 [Conf]
  31. Ekaterina S. Lemch, Shankar Sastry, Peter E. Caines
    Global Controllability of Hybrid Systems with Controlled and Autonomous Switchings. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:375-386 [Conf]
  32. Vishal Bahl, Andreas A. Linninger
    Modeling of Continuous-Discrete Processes. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:387-402 [Conf]
  33. Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
    Hybrid I/O Automata Revisited. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:403-417 [Conf]
  34. Ivar Ekeland, Roger Temam
    Hamiltonian Mechanics2. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:418-432 [Conf]
  35. Thomas Moor, Jennifer M. Davoren
    Robust Controller Synthesis for Hybrid Systems Using Modal Logic. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:433-446 [Conf]
  36. Pieter J. Mosterman
    Diagnosis of Physical Systems with Hybrid Models Using Parametrized Causality. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:447-458 [Conf]
  37. Meeko Oishi, Claire Tomlin, Vipin Gopal, Datta N. Godbole
    Addressing Multiobjective Control: Safety and Performance through Constrained Optimization. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:459-472 [Conf]
  38. Jochen Schröder, Jan Lunze
    Representation of Quantised Systems by the Frobenius-Perron Operator. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:473-486 [Conf]
  39. Omid Shakernia, George J. Pappas, Shankar Sastry
    Semi-decidable Synthesis for Triangular Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:487-500 [Conf]
  40. Paulo Tabuada, George J. Pappas
    Hybrid Abstractions that Preserve Timed Languages. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:501-514 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002