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.