Search results for "hybrid systems"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Truong Nghiem, Sriram Sankaranarayanan, Georgios E. Fainekos, Franjo Ivancic, Aarti Gupta, George J. Pappas	Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems.	HSCC	2010	DBLP DOI BibTeX RDF	testing, robustness, hybrid systems, metric temporal logic
4	Sriram Sankaranarayanan	Automatic invariant generation for hybrid systems using ideal fixed points.	HSCC	2010	DBLP DOI BibTeX RDF	verification, hybrid systems, invariants, conservation laws, algebraic geometry
4	Eric D. B. Wendel, Aaron D. Ames	Rank properties of poincare maps for hybrid systems with applications to bipedal walking.	HSCC	2010	DBLP DOI BibTeX RDF	periodic orbits, poincare maps, robotic bipedal walking, hybrid systems
4	Oded Maler	Amir Pnueli and the dawn of hybrid systems.	HSCC	2010	DBLP DOI BibTeX RDF	hybrid systems
4	Konstantinos Koutroumpas, John Lygeros	Modeling and verification of stochastic hybrid systems using HIOA: a case study on DNA replication.	HSCC	2010	DBLP DOI BibTeX RDF	hybrid input output automata, sthochastic hybrid systems, verfication, systems biology
4	Manuela L. Bujorianu, John Lygeros, Rom Langerak	Reachability Analysis of Stochastic Hybrid Systems by Optimal Control.	HSCC	2008	DBLP DOI BibTeX RDF	Stochastic hybrid systems, reachability problem, Markov processes, optimal stopping
4	André Platzer, Edmund M. Clarke	The Image Computation Problem in Hybrid Systems Model Checking.	HSCC	2007	DBLP DOI BibTeX RDF	model checking, hybrid systems, image computation
4	André Platzer	Differential Logic for Reasoning About Hybrid Systems.	HSCC	2007	DBLP DOI BibTeX RDF	hybrid systems, dynamic logic, parametric verification
4	Manuela L. Bujorianu, John Lygeros, Marius C. Bujorianu	Bisimulation for General Stochastic Hybrid Systems.	HSCC	2005	DBLP DOI BibTeX RDF	stochastic hybrid systems, simulation morphism, zigzag morphism, Markov processes, bisimulation, category theory
4	Manuela L. Bujorianu	Extended Stochastic Hybrid Systems and Their Reachability Problem.	HSCC	2004	DBLP DOI BibTeX RDF	stochastic hybrid systems, reachability problem, extended automata, Dirichlet forms, Markov processes
4	Luc C. G. J. M. Habets, Jan H. van Schuppen	Control of Piecewise-Linear Hybrid Systems on Simplices and Rectangles.	HSCC	2001	DBLP DOI BibTeX RDF	Piecewise-linear hybrid systems, polyhedral set, multi-dimensional rectangle, reachability, facet, simplex, control law
4	Oleg Botchkarev, Stavros Tripakis	Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations.	HSCC	2000	DBLP DOI BibTeX RDF	ellipsoidal approximations, verification, hybrid systems, reachability analysis
4	Alongkrit Chutinan, Bruce H. Krogh	Computing Approximating Automata for a Class of Linear Hybrid Systems.	Hybrid Systems	1997	DBLP DOI BibTeX RDF
4	Gerardo Lafferriere, George J. Pappas, Shankar Sastry	Hybrid Systems with Finite Bisimulations.	Hybrid Systems	1997	DBLP DOI BibTeX RDF
4	Bart De Schutter, Bart De Moor	The Extended Linear Complementary Problem and the Modeling and Analysis of Hybrid Systems.	Hybrid Systems	1997	DBLP DOI BibTeX RDF
4	Le Yi Wang, Pramod P. Khargonekar, Ali Beydoun	Robust Control of Hybrid Systems: Performance Guided Strategies.	Hybrid Systems	1997	DBLP DOI BibTeX RDF
4	Pieter J. Mosterman, Feng Zhao, Gautam Biswas	Sliding Mode Model Semantics and Simulation for Hybrid Systems.	Hybrid Systems	1997	DBLP DOI BibTeX RDF
3	Kerstin Bauer, Klaus Schneider	From synchronous programs to symbolic representations of hybrid systems.	HSCC	2010	DBLP DOI BibTeX RDF	symbolic representation of transition systems, hybrid systems, synchronous languages
3	Branko Kerkez, Steven D. Glaser, John A. Dracup, Roger C. Bales	A hybrid system model of seasonal snowpack water balance.	HSCC	2010	DBLP DOI BibTeX RDF	snowmelt, hybrid systems, water resources, hydrology
3	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
3	Humberto González, Ramanarayan Vasudevan, Maryam Kamgarpour, Shankar S. Sastry, Ruzena Bajcsy, Claire J. Tomlin	A descent algorithm for the optimal control of constrained nonlinear switched dynamical systems.	HSCC	2010	DBLP DOI BibTeX RDF	constrained optimal control, switched hybrid systems
3	Hallstein Asheim Hansen, Gerardo Schneider	Reachability analysis of GSPDIs: theory, optimization, and implementation.	SAC	2010	DBLP DOI BibTeX RDF	differential inclusions, verification of hybrid systems, hybrid systems, reachability
3	Hai-Bin Zhang, Zhen-Hua Duan	Symbolic Algorithmic Analysis of Rectangular Hybrid Systems.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	model checking, temporal logic, hybrid systems, automata
3	Thao Dang, Tarik Nahhal	Coverage-guided test generation for continuous and hybrid systems.	Formal Methods in System Design	2009	DBLP DOI BibTeX RDF	Test generation, Hybrid systems, Model-based testing, Conformance testing, Test coverage
3	Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe	Simulation of hybrid systems based on hierarchical interval constraints.	SimuTools	2009	DBLP DOI BibTeX RDF	simulation, hybrid systems, interval arithmetic, constraint hierarchies
3	Ivna Valença, Teresa Bernarda Ludermir	Hybrid Systems for River Flood Forecasting Using MLP, SOM and Fuzzy Systems.	ICANN	2009	DBLP DOI BibTeX RDF	River Flood Forecasting, Self-Organizing Map, Hybrid Systems, Fuzzy Systems, Multi-Layer Perceptron, Modular Models
3	Alexandre Donzé, Bruce H. Krogh, Akshay Rajhans	Parameter Synthesis for Hybrid Systems with an Application to Simulink Models.	HSCC	2009	DBLP DOI BibTeX RDF
3	Jens Oehlerking, Oliver E. Theel	Decompositional Construction of Lyapunov Functions for Hybrid Systems.	HSCC	2009	DBLP DOI BibTeX RDF
3	Nadir Matringe, Arnaldo Vieira Moura, Rachid Rebiha	Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems.	HSCC	2009	DBLP DOI BibTeX RDF
3	Yizhar Or, Aaron D. Ames	Existence of Periodic Orbits with Zeno Behavior in Completed Lagrangian Hybrid Systems.	HSCC	2009	DBLP DOI BibTeX RDF
3	Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley	Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting.	HSCC	2009	DBLP DOI BibTeX RDF
3	Behzad Akbarpour, Lawrence C. Paulson	Applications of MetiTarski in the Verification of Control and Hybrid Systems.	HSCC	2009	DBLP DOI BibTeX RDF
3	Farzin Taringoo, Peter E. Caines	The Sensitivity of Hybrid Systems Optimal Cost Functions with Respect to Switching Manifold Parameters.	HSCC	2009	DBLP DOI BibTeX RDF	Hybrid Control Systems, Switching Manifolds, Optimal Control, Variational Methods
3	Axel Schild, Magnus Egerstedt, Jan Lunze	Orbital Control for a Class of Planar Impulsive Hybrid Systems with Controllable Resets.	HSCC	2009	DBLP DOI BibTeX RDF
3	Bostjan Potocnik, Gasper Music, Igor Skrjanc, Borut Zupancic	Model-based Predictive Control of Hybrid Systems: A Probabilistic Neural-network Approach to Real-time Control.	Journal of Intelligent and Robotic Systems	2008	DBLP DOI BibTeX RDF	Hybrid systems, Reachability analysis, Probabilistic neural networks, Model predictive control
3	André Platzer	Differential Dynamic Logic for Hybrid Systems.	J. Autom. Reasoning	2008	DBLP DOI BibTeX RDF	Verification of hybrid systems, Differential equations, Automated theorem proving, Dynamic logic, Sequent calculus, Axiomatisation
3	Goran Frehse	PHAVer: algorithmic verification of hybrid systems past HyTech.	STTT	2008	DBLP DOI BibTeX RDF	Verification, Tools, Hybrid systems, Polyhedra
3	Antoine Girard, A. Agung Julius, George J. Pappas	Approximate Simulation Relations for Hybrid Systems.	Discrete Event Dynamic Systems	2008	DBLP DOI BibTeX RDF	Approximate simulation relation, Approximation, Abstractions, Hybrid systems
3	Ashish Tiwari	Abstractions for hybrid systems.	Formal Methods in System Design	2008	DBLP DOI BibTeX RDF	Hybrid systems, Predicate abstraction, Qualitative simulation
3	Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna	Constructing invariants for hybrid systems.	Formal Methods in System Design	2008	DBLP DOI BibTeX RDF	Grobner bases, Verification, Analysis, Hybrid systems, Invariants, Polynomials, Algebraic geometry, Groebner bases
3	André Platzer, Jan-David Quesel	KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description).	IJCAR	2008	DBLP DOI BibTeX RDF	verification of hybrid systems, decision procedures, computer algebra, automated theorem proving, dynamic logic
3	Haibin Zhang, Zhenhua Duan	Symbolic Algorithm Analysis of Rectangular Hybrid Systems.	TAMC	2008	DBLP DOI BibTeX RDF	model checking, temporal logic, hybrid systems, reachability analysis
3	Stefan Bisanz, Ulrich Hannemann, Jan Peleska	Executable Semantics for Hybrid Systems - The Hybrid Low-Level Framework.	COMPSAC	2008	DBLP DOI BibTeX RDF	embedded systems, Hybrid systems, operational semantics
3	André Platzer, Edmund M. Clarke	Computing Differential Invariants of Hybrid Systems as Fixedpoints.	CAV	2008	DBLP DOI BibTeX RDF	verification of hybrid systems, verification logic, fixedpoint engine, differential invariants
3	Stefano Di Cairano, Mircea Lazar, Alberto Bemporad, W. P. M. H. Heemels	A Control Lyapunov Approach to Predictive Control of Hybrid Systems.	HSCC	2008	DBLP DOI BibTeX RDF
3	Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley	Modeling and Simulation of Biochemical Processes Using Stochastic Hybrid Systems: The Sugar Cataract Development Process.	HSCC	2008	DBLP DOI BibTeX RDF
3	Alessandro Abate, Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Shankar Sastry	Markov Set-Chains as Abstractions of Stochastic Hybrid Systems.	HSCC	2008	DBLP DOI BibTeX RDF
3	Matthew J. Daigle, Xenofon D. Koutsoukos, Gautam Biswas	An Integrated Approach to Parametric and Discrete Fault Diagnosis in Hybrid Systems.	HSCC	2008	DBLP DOI BibTeX RDF
3	Mihály Petreczky, René Vidal	Realization Theory for Discrete-Time Semi-algebraic Hybrid Systems.	HSCC	2008	DBLP DOI BibTeX RDF
3	Antoine Girard, Colas Le Guernic	Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis.	HSCC	2008	DBLP DOI BibTeX RDF
3	Martin Fränzle, Holger Hermanns, Tino Teige	Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems.	HSCC	2008	DBLP DOI BibTeX RDF
3	Vadim Azhmyakov, Sid Ahmed Attia, Jörg Raisch	On the Maximum Principle for Impulsive Hybrid Systems.	HSCC	2008	DBLP DOI BibTeX RDF	impulsive hybrid control systems, necessary conditions of optimality, optimal control, Maximum principle
3	Andrew G. Lamperski, Aaron D. Ames	Sufficient Conditions for Zeno Behavior in Lagrangian Hybrid Systems.	HSCC	2008	DBLP DOI BibTeX RDF
3	Ian M. Mitchell, Yoshihiko Susuki	Level Set Methods for Computing Reachable Sets of Hybrid Systems with Differential Algebraic Equation Dynamics.	HSCC	2008	DBLP DOI BibTeX RDF
3	Stefan Ratschan, Zhikun She	Safety verification of hybrid systems by constraint propagation-based abstraction refinement.	ACM Trans. Embedded Comput. Syst.	2007	DBLP DOI BibTeX RDF	Hybrid systems, constraint propagation, intervals
3	Joel M. Esposito, Vijay Kumar	A state event detection algorithm for numerically simulating hybrid systems with model singularities.	ACM Trans. Model. Comput. Simul.	2007	DBLP DOI BibTeX RDF	model singularities, Hybrid systems, event detection, numerical integration, discontinuities
3	Junsoo Lee, Stephan Bohacek, João P. Hespanha, Katia Obraczka	Modeling communication networks with hybrid systems.	IEEE/ACM Trans. Netw.	2007	DBLP DOI BibTeX RDF	data communication networks, simulation, congestion control, TCP, hybrid systems, UDP
3	Martin Fränzle, Christian Herde	HySAT: An efficient proof engine for bounded model checking of hybrid systems.	Formal Methods in System Design	2007	DBLP DOI BibTeX RDF	Verification, Hybrid systems, Satisfiability, Decision procedures, Bounded model checking, Infinite-state systems
3	Roger D. Chamberlain, Mark A. Franklin, Eric J. Tyson, Jeremy Buhler, Saurabh Gayen, Patrick Crowley, James H. Buckley	Application development on hybrid systems.	SC	2007	DBLP DOI BibTeX RDF	gamma ray astronomy, performance modeling, hybrid systems, hardware/software co-design
3	André Platzer	Differential Dynamic Logic for Verifying Parametric Hybrid Systems.	TABLEAUX	2007	DBLP DOI BibTeX RDF	verification of parametric hybrid systems, dynamic logic, quantifier elimination, sequent calculus
3	Federico Mari, Enrico Tronci	CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems.	HSCC	2007	DBLP DOI BibTeX RDF
3	D. A. van Beek, Michel A. Reniers, Ramon R. H. Schiffelers, J. E. Rooda	Foundations of a Compositional Interchange Format for Hybrid Systems.	HSCC	2007	DBLP DOI BibTeX RDF
3	Domitilla Del Vecchio	A Partial Order Approach to Discrete Dynamic Feedback in a Class of Hybrid Systems.	HSCC	2007	DBLP DOI BibTeX RDF
3	Mihály Petreczky, René Vidal	Metrics and Topology for Nonlinear and Hybrid Systems.	HSCC	2007	DBLP DOI BibTeX RDF
3	A. Agung Julius, Georgios E. Fainekos, Madhukar Anand, Insup Lee, George J. Pappas	Robust Test Generation and Coverage for Hybrid Systems.	HSCC	2007	DBLP DOI BibTeX RDF
3	Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley	Safety Analysis of Sugar Cataract Development Using Stochastic Hybrid Systems.	HSCC	2007	DBLP DOI BibTeX RDF
3	Andreas Podelski, Silke Wagner	A Sound and Complete Proof Rule for Region Stability of Hybrid Systems.	HSCC	2007	DBLP DOI BibTeX RDF
3	Koichi Kobayashi, Jun-ichi Imura	Minimalilty of Finite Automata Representation in Hybrid Systems Control.	HSCC	2007	DBLP DOI BibTeX RDF
3	Marta Capiluppi, Manfred Morari	Networks of Hybrid Systems: Connections Faults Modelling and Detection.	HSCC	2007	DBLP DOI BibTeX RDF
3	Hao Yang, Bin Jiang, Vincent Cocquempot	Fault Accommodation for Hybrid Systems with Continuous and Discrete Faults.	HSCC	2007	DBLP DOI BibTeX RDF
3	Alessandro Abate, Saurabh Amin, Maria Prandini, John Lygeros, Shankar Sastry	Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems.	HSCC	2007	DBLP DOI BibTeX RDF
3	Mauro Boccadoro, Paolo Valigi, Yorai Wardi	A Method for the Design of Optimal Switching Surfaces for Autonomous Hybrid Systems.	HSCC	2007	DBLP DOI BibTeX RDF
3	Kaushik Roy, Claire Tomlin	A New Hybrid State Estimator for Systems with Limited Mode Changes.	HSCC	2007	DBLP DOI BibTeX RDF	hybrid state estimation, hybrid systems, Monte Carlo
3	Rajeev Alur, Thao Dang, Franjo Ivancic	Predicate abstraction for reachability analysis of hybrid systems.	ACM Trans. Embedded Comput. Syst.	2006	DBLP DOI BibTeX RDF	hybrid systems, Reachability analysis, predicate abstraction
3	José Meseguer, Raman Sharykin	Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems.	HSCC	2006	DBLP DOI BibTeX RDF
3	Ricardo G. Sanfelice, Rafal Goebel, Andrew R. Teel	A Feedback Control Motivation for Generalized Solutions to Hybrid Systems.	HSCC	2006	DBLP DOI BibTeX RDF
3	Ioannis A. Fotiou, A. Giovanni Beccuti, Georgios Papafotiou, Manfred Morari	Optimal Control of Piece-Wise Polynomial Hybrid Systems Using Cylindrical Algebraic Decomposition.	HSCC	2006	DBLP DOI BibTeX RDF
3	Saurabh Amin, Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry	Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems.	HSCC	2006	DBLP DOI BibTeX RDF
3	John M. Rushby	Hybrid Systems - And Everything Else.	HSCC	2006	DBLP DOI BibTeX RDF
3	Daniel Liberzon, Dragan Nesic	Stability Analysis of Hybrid Systems Via Small-Gain Theorems.	HSCC	2006	DBLP DOI BibTeX RDF
3	Alessandro Pinto, Luca P. Carloni, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli	Interchange Format for Hybrid Systems: Abstract Semantics.	HSCC	2006	DBLP DOI BibTeX RDF
3	Yan Gao, John Lygeros, Marc Quincampoix	The Reachability Problem for Uncertain Hybrid Systems Revisited: A Viability Theory Perspective.	HSCC	2006	DBLP DOI BibTeX RDF
3	Henning Burchardt, Jens Oehlerking, Oliver E. Theel	Towards Push-of-a-Button Stability Verification for Discrete-Time Hybrid Systems.	PRDC	2005	DBLP DOI BibTeX RDF	Discrete-Time Hybrid Systems, Stability, LMIs, Automatic Verification, Lyapunov Theory
3	Madhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee	Distributed-code generation from hybrid systems models for time-delayed multirate systems.	EMSOFT	2005	DBLP DOI BibTeX RDF	distributed systems, hybrid systems
3	Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Roberto Passerone	Interchange Formats for Hybrid Systems: Review and Proposal.	HSCC	2005	DBLP DOI BibTeX RDF
3	Goran Frehse	PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech.	HSCC	2005	DBLP DOI BibTeX RDF
3	Robin L. Raffard, Jianghai Hu, Claire Tomlin	Adjoint-Based Optimal Control of the Expected Exit Time for Stochastic Hybrid Systems.	HSCC	2005	DBLP DOI BibTeX RDF
3	Enric Rodríguez-Carbonell, Ashish Tiwari	Generating Polynomial Invariants for Hybrid Systems.	HSCC	2005	DBLP DOI BibTeX RDF
3	João P. Hespanha	Polynomial Stochastic Hybrid Systems.	HSCC	2005	DBLP DOI BibTeX RDF
3	Aaron D. Ames, Shankar Sastry	A Homology Theory for Hybrid Systems: Hybrid Homology.	HSCC	2005	DBLP DOI BibTeX RDF
3	Edward A. Lee, Haiyang Zheng	Operational Semantics of Hybrid Systems.	HSCC	2005	DBLP DOI BibTeX RDF
3	Ian M. Mitchell, Jeremy A. Templeton	A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems.	HSCC	2005	DBLP DOI BibTeX RDF
3	Stefan Ratschan, Zhikun She	Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement.	HSCC	2005	DBLP DOI BibTeX RDF
3	Ansgar Fehnker, Edmund M. Clarke, Sumit Kumar Jha, Bruce H. Krogh	Refining Abstractions of Hybrid Systems Using Counterexample Fragments.	HSCC	2005	DBLP DOI BibTeX RDF
3	Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini	Information flow in hybrid systems.	ACM Trans. Embedded Comput. Syst.	2004	DBLP DOI BibTeX RDF	Hybrid systems, information flow
3	Joel M. Esposito, Vijay Kumar	An asynchronous integration and event detection algorithm for simulating multi-agent hybrid systems.	ACM Trans. Model. Comput. Simul.	2004	DBLP DOI BibTeX RDF	multi-agent systems, hybrid systems, Event detection, numerical integration
3	Thomas Stauner	Properties of Hybrid Systems-A Computer Science Perspective.	Formal Methods in System Design	2004	DBLP DOI BibTeX RDF	property classification, stability, abstraction, hybrid systems
3	João P. Hespanha	Stochastic Hybrid Systems: Application to Communication Networks.	HSCC	2004	DBLP DOI BibTeX RDF
3	Ansgar Fehnker, Franjo Ivancic	Benchmarks for Hybrid Systems Verification.	HSCC	2004	DBLP DOI BibTeX RDF
3	Sriram Sankaranarayanan, Henny Sipma, Zohar Manna	Constructing Invariants for Hybrid Systems.	HSCC	2004	DBLP DOI BibTeX RDF