Search results for "hybrid behavior"

Found 11 publication records. Showing 11 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Hongru Tang, Aiguo Song, Xiaobing Zhang	Hybrid Behavior Coordination Mechanism for Navigation of Reconnaissance Robot.	IROS	2006	DBLP DOI BibTeX RDF
1	Paolo Zuliani, André Platzer, Edmund M. Clarke	Bayesian statistical model checking with application to Simulink/Stateflow verification.	HSCC	2010	DBLP DOI BibTeX RDF	bayesian statis tics, statistical model checking, hybrid systems, probabilistic model checking, stochastic systems
1	María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares	Developing a Decision Support Tool for Dam Management with SPIN.	FMICS	2009	DBLP DOI BibTeX RDF
1	Jürgen Großmann, Ina Schieferdecker, Hans-Werner Wiesbrock	Modeling Property Based Stream Templates with TTCN-3.	TestCom/FATES	2008	DBLP DOI BibTeX RDF
1	Adel Ben Mnaouer, Lei Chen, Chuan Heng Foh, Juki Wirawan Tantra	OPHMR: An Optimized Polymorphic Hybrid Multicast Routing Protocol for MANET.	IEEE Trans. Mob. Comput.	2007	DBLP DOI BibTeX RDF	Polymorphic protocols, hybrid behavior, MANET, adaptive routing, multicast routing
1	Günter Neumann	A Hybrid Machine Learning Approach for Information Extraction from Free Text.	GfKl	2005	DBLP DOI BibTeX RDF
1	Matthew Senesky, Gabriel Eirea, Tak-John Koo	Hybrid Modelling and Control of Power Electronics.	HSCC	2003	DBLP DOI BibTeX RDF
1	Serafeim Fragos, Lampros K. Stergioulas, Costas S. Xydeas	Classification of Decision-Behavior Patterns in Multivariate Computer Log Data Using Independent Component Analysis.	KES	2003	DBLP DOI BibTeX RDF
1	Giancarlo Ferrari-Trecate, Eduardo Gallestey, Paolo Letizia, Matteo Spedicato, Manfred Morari, Marc Antoine	Modeling and Control of Co-generation Power Plants: A Hybrid System Approach.	HSCC	2002	DBLP DOI BibTeX RDF
1	Sriram Narasimhan, Gautam Biswas	An Approach to Model-Based Diagnosis of Hybrid Systems.	HSCC	2002	DBLP DOI BibTeX RDF
1	Pieter J. Mosterman	Diagnosis of Physical Systems with Hybrid Models Using Parametrized Causality.	HSCC	2001	DBLP DOI BibTeX RDF

Displaying result #1 - #11 of 11 (100 per page; Change: )