Publications
Search

Publications :: Search

Show venue

On this page you see the details of the selected venue.

    Conference
    Name: Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings 2000
    DBLP: db/conf/hybrid/hscc2000.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 37 of 37  
    Select a publication
    Show Title Venue Rating Date
    Alberto Bemporad, Fabio Danilo Torrisi, Manfred Morari.
    Optimization-Based Verification and Stability Characterization of Piecewise Affine and Hybrid Systems.
    Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings 2000 (0) 2000
    Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar, Insup Lee.
    Modular Specification of Hybrid Systems in CHARON.
    Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings 2000 (0) 2000
    Luca Berardi, Elena De Santis, Maria Domenica Di Benedetto.
    Invariant Sets and Control Synthesis for Switching Systems with Safety Specifications.
    Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings 2000 (0) 2000
    Oleg Botchkarev, Stavros Tripakis.
    Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations.
    Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings 2000 (0) 2000
    Eugene Asarin, Thao Dang, Oded Maler, Olivier Bournez.
    Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems.
    Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings 2000 (0) 2000
    Mireille E. Broucke, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli, Stefano Di Gennaro.
    Theory of Optimal Control Using Bisimulations.
    Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings 2000 (0) 2000
    Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Guido M. Miconi, Ugo Pozzi, Tiziano Villa, Howard Wong-Toi, Alberto L. Sangiovanni-Vincentelli.
    Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine.
    Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings 2000 (0) 2000
    Ken Butts.
    Hybrid Models for Automotive Powertrain Systems: Revisiting a Vision.
    Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings 2000 (0) 2000
    Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar, Howard Wong-Toi.
    Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods.
    Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings 2000 (0) 2000
    Thomas A. Henzinger, Jean-François Raskin.
    Robust Undecidability of Timed and Hybrid Systems.
    Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings 2000 (0) 2000
    Magnus Egerstedt.
    Behavior Based Robotics Using Hybrid Automata.
    Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings 2000 (0) 2000
    Jianghai Hu, John Lygeros, Shankar Sastry.
    Towars a Theory of Stochastic Hybrid Systems.
    Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings 2000 (0) 2000
    Eric Klavins.
    Automatic Compilation of Concurrent Hybrid Factories from Product Assembly Specifications.
    Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings 2000 (0) 2000
    Kagan Gokbayrak, Christos G. Cassandras.
    Hybrid Controllers for Hierarchically Decomposed Systems.
    Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings 2000 (0) 2000
    Xenofon D. Koutsoukos, Panos J. Antsaklis.
    A Hybrid Feedback Regulator Approach to Control an Automotive Suspension System.
    Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings 2000 (0) 2000
    Pieter J. Mosterman, Gautam Biswas.
    Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems.
    Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings 2000 (0) 2000
    Ian M. Mitchell, Claire Tomlin.
    Level Set Methods for Computation in Hybrid Systems.
    Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings 2000 (0) 2000
    Alexander B. Kurzhanski, Pravin Varaiya.
    Ellipsoidal Techniques for Reachability Analysis.
    Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings 2000 (0) 2000
    Gerardo Lafferriere, Christopher L. Miller.
    Uniform Reachability Algorithms.
    Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings 2000 (0) 2000
    Peter Niebert, Sergio Yovine.
    Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode.
    Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings 2000 (0) 2000
    Andreas Nonnengart.
    Hybrid Systems Verification by Location Elimination.
    Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings 2000 (0) 2000
    Michael D. Lemmon.
    On the Existence of Solutions to Controlled Hybrid Automata.
    Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings 2000 (0) 2000
    Nancy G. Leveson.
    Experiences in Designing and Using Formal Specification Languages for Embedded Control Software.
    Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings 2000 (0) 2000
    Daniel Liberzon.
    Nonlinear Stabilization by Hybrid Quantized Feedback.
    Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings 2000 (0) 2000
    Jan Lunze.
    Diagnosis of Quantised Systems by Means of Timed Discrete-Event Representations.
    Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings 2000 (0) 2000
    Vladimir Pavlovic, James M. Rehg, Tat-Jen Cham.
    A Dynamic Bayesian Network Approach to Tracking Using Learned Switching Dynamic Models.
    Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings 2000 (0) 2000
    Stefan Pettersson, Bengt Lennartson.
    Stability of Hybrid Systems Using LMIs - A Gear-Box Application.
    Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings 2000 (0) 2000
    Alexey S. Matveev, Andrey V. Savkin.
    Existence and Stability of Limit Cycles in Switched Single Server Flow Networks Modelled as Hybrid Dynamical Systems.
    Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings 2000 (0) 2000
    Sheila A. McIlraith, Gautam Biswas, Dan Clancy, Vineet Gupta.
    Hybrid Systems Diagnosis.
    Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings 2000 (0) 2000
    Joseph S. Miller.
    Decidability and Complexity Results for Timed Automata and Semi-linear Hybrid Automata.
    Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings 2000 (0) 2000
    Jacob Roll.
    Invariance of Approximating Automata for Piecewise Linear Systems with Uncertainties.
    Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings 2000 (0) 2000
    René Vidal, Shawn Schaffert, John Lygeros, Shankar Sastry.
    Controlled Invariance of Discrete Time Systems.
    Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings 2000 (0) 2000
    Brian C. Williams.
    Model-Based Autonomous Systems for Robotic Space Exploration.
    Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings 2000 (0) 2000
    Alberto L. Sangiovanni-Vincentelli.
    Models of Computation and Simulation of Hybrid Systems.
    Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings 2000 (0) 2000
    Jun Zhang, Karl Henrik Johansson, John Lygeros, Shankar Sastry.
    Dynamical Systems Revisited: Hybrid Systems with Zeno Executions.
    Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings 2000 (0) 2000
    Omid Shakernia, Shankar Sastry, George J. Pappas.
    Decidable Controller Synthesis for Classes of Linear Systems.
    Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings 2000 (0) 2000
    Slobodan N. Simic, Karl Henrik Johansson, Shankar Sastry, John Lygeros.
    Towards a Geometric Theory of Hybrid Systems.
    Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings 2000 (0) 2000

    Your query returned 37 matches in the database.