Publications :: Search

Show venue

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

Conference
Name:	Hybrid Systems II 1995
DBLP:	db/conf/hybrid/hybrid94.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 25 of 28  

Select a publication
Show	Title	Venue	Rating	Date
	Peter E. Caines, Yuan-Jun Wei. On Dynamically Consistent Hybrid Systems.	Hybrid Systems II 1995	(0)	1994
	Albert Benveniste, Bernard C. Levy, Eric Fabre, Paul Le Guernic. A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Hybrid Stochastic/Non-stochastic Systems.	Hybrid Systems II 1995	(0)	1994
	J. D. Birdwell, B. C. Moore. Condensation of Information from Signals for Process Modeling and Control.	Hybrid Systems II 1995	(0)	1994
	Ahmed Bouajjani, Rachid Echahed, Riadh Robbana. On the Automatic Verification of Systems with Continuous Variables and Unbounded Discrete Data Structures.	Hybrid Systems II 1995	(0)	1994
	Eugene Asarin, Oded Maler, Amir Pnueli. Symbolic Controller Synthesis for Discrete and Timed Systems.	Hybrid Systems II 1995	(0)	1994
	Thomas A. Henzinger, Pei-Hsin Ho. A Note on Abstract Interpretation Strategies for Hybrid Automata.	Hybrid Systems II 1995	(0)	1994
	Nicholas DeClaris, Mu-Chun Su. A Self-Learning Neuro-Fuzzy System.	Hybrid Systems II 1995	(0)	1994
	John Guckenheimer, Stewart Johnson. Planar Hybrid Systems.	Hybrid Systems II 1995	(0)	1994
	Thomas A. Henzinger, Pei-Hsin Ho. HYTECH: The Cornell HYbrid TECHnology Tool.	Hybrid Systems II 1995	(0)	1994
	Akash Deshpande, Pravin Varaiya. Viable Control of Hybrid Systems.	Hybrid Systems II 1995	(0)	1994
	Murat Dogruel, Ümit Özgüner. Modeling and Stability Issues in Hybrid Systems.	Hybrid Systems II 1995	(0)	1994
	Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat, Daniel G. Bobrow. Programming in Hybrid Constraint Languages.	Hybrid Systems II 1995	(0)	1994
	Robert L. Grossman, M. Sweedler. Hybrid Systems and Quantum Automata: Preliminary Announcement.	Hybrid Systems II 1995	(0)	1994
	Wolf Kohn, Anil Nerode, Jeffrey B. Remmel. Hybrid Systems as Finsler Manifolds: Finite State Control as Approximation to Connections.	Hybrid Systems II 1995	(0)	1994
	Datta N. Godbole, John Lygeros, Shankar Sastry. Hierarchical Hybrid Control: A Case Study.	Hybrid Systems II 1995	(0)	1994
	Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis. Controllers as Fixed Points of Set-Valued Operators.	Hybrid Systems II 1995	(0)	1994
	Michael D. Lemmon, Christopher J. Bett, Peter T. Szymanski, Panos J. Antsaklis. Constructing Hybrid Control Systems from Robust Linear Control Agents.	Hybrid Systems II 1995	(0)	1994
	Anuj Puri, Pravin Varaiya. Verification of Hybrid Systems Using Abstractions.	Hybrid Systems II 1995	(0)	1994
	Jörg Raisch. Control of Continuous Plants by Symbolic Output Feedback.	Hybrid Systems II 1995	(0)	1994
	Anders P. Ravn, Hans Rischel, Finn Conrad, Torben O. Andersen. Hybrid Control of a Robot - A Case Study.	Hybrid Systems II 1995	(0)	1994
	Michael Tittus, Bo Egardt. Hybrid Objects.	Hybrid Systems II 1995	(0)	1994
	Olivier H. Roux, Vlad Rusu. Verifying Time-bounded Properties for ELECTRE Reactive Programs with Stopwatch Automata.	Hybrid Systems II 1995	(0)	1994
	Hessam S. Sarjoughian, Bernard P. Zeigler. Inductive Modeling: A Framework Marrying Systems Theory and Non-monotonic Reasoning.	Hybrid Systems II 1995	(0)	1994
	Y. Y. Yang, Derek A. Linkens, Stephen P. Banks. Modelling of Hybrid Systems Based on Extended Coloured Petri Nets.	Hybrid Systems II 1995	(0)	1994
	Bernard P. Zeigler, Hae Sang Song, Tag Gon Kim, Herbert Prähofer. DEVS Framework for Modelling, Simulation, Analysis, and Design of Hybrid Systems.	Hybrid Systems II 1995	(0)	1994

Your query returned 28 matches in the database.