Search results for "HSCC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	João P. Hespanha 0001	Polynomial Stochastic Hybrid Systems.	HSCC	2005	DBLP DOI BibTeX RDF
1	Sophie Chareyron, Pierre-Brice Wieber	Position and Force Control of Nonsmooth Lagrangian Dynamical Systems Without Friction.	HSCC	2005	DBLP DOI BibTeX RDF
1	Manuela-Luminita 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
1	Ruggero Lanotte, Simone Tini	Taylor Approximation for Hybrid Systems.	HSCC	2005	DBLP DOI BibTeX RDF
1	Mohamed Babaali, George J. Pappas	Observability of Switched Linear Systems in Continuous Time.	HSCC	2005	DBLP DOI BibTeX RDF
1	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
1	Tobias Geyer, Georgios Papafotiou	Direct Torque Control for Induction Motor Drives: A Model Predictive Control Approach Based on Feasibility.	HSCC	2005	DBLP DOI BibTeX RDF
1	Aleksandar Lj. Juloski, W. P. M. H. Heemels, Giancarlo Ferrari-Trecate, René Vidal, Simone Paoletti, J. H. G. Niessen	Comparison of Four Procedures for the Identification of Hybrid Systems.	HSCC	2005	DBLP DOI BibTeX RDF
1	Pablo A. Parrilo	SOS Methods for Semi-algebraic Games and Optimization.	HSCC	2005	DBLP DOI BibTeX RDF
1	Yan Wang, Zengqi Sun, Fuchun Sun 0001	Modeling and Control of Networked Control Systems with Random Delays.	HSCC	2005	DBLP DOI BibTeX RDF
1	Andrea Lecchini, William Glover, John Lygeros, Jan M. Maciejowski	Air-Traffic Control in Approach Sectors: Simulation Examples and Optimisation.	HSCC	2005	DBLP DOI BibTeX RDF
1	Sonja Glavaski, Antonis Papachristodoulou, Kartik B. Ariyur	Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates.	HSCC	2005	DBLP DOI BibTeX RDF
1	Manindra Agrawal, P. S. Thiagarajan	The Discrete Time Behavior of Lazy Linear Hybrid Automata.	HSCC	2005	DBLP DOI BibTeX RDF
1	Ouassila Labbani, Jean-Luc Dekeyser, Pierre Boulet	Mode-Automata Based Methodology for Scade.	HSCC	2005	DBLP DOI BibTeX RDF
1	Guangming Xie, Long Wang 0001	Controllability Implies Stabilizability for Discrete-Time Switched Linear Systems.	HSCC	2005	DBLP DOI BibTeX RDF
1	Timothy J. Hickey, David K. Wittenberg	Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints.	HSCC	2004	DBLP DOI BibTeX RDF
1	Rajeev Alur, George J. Pappas (eds.)	Hybrid Systems: Computation and Control, 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings	HSCC	2004	DBLP DOI BibTeX RDF
1	Domitilla Del Vecchio, Richard M. Murray	Discrete State Estimators for a Class of Hybrid Systems on a Lattice.	HSCC	2004	DBLP DOI BibTeX RDF
1	Christos A. Yfoulis, Robert Shorten	A Numerical Technique for Stability Analysis of Linear Switched Systems.	HSCC	2004	DBLP DOI BibTeX RDF
1	Manindra Agrawal, P. S. Thiagarajan	Lazy Rectangular Hybrid Automata.	HSCC	2004	DBLP DOI BibTeX RDF
1	Alberto Bemporad, Nicolò Giorgetti	A SAT-Based Hybrid Solver for Optimal Control of Hybrid Systems.	HSCC	2004	DBLP DOI BibTeX RDF
1	Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen	Staying Alive as Cheaply as Possible.	HSCC	2004	DBLP DOI BibTeX RDF
1	Shreyas Sundaram, Christoforos N. Hadjicostis	Non-concurrent Error Detection and Correction in Switched Linear Controllers.	HSCC	2004	DBLP DOI BibTeX RDF
1	Natasha A. Neogi	Dynamic Partitioning of Large Discrete Event Biological Systems for Hybrid Simulation and Analysis.	HSCC	2004	DBLP DOI BibTeX RDF
1	Hamsa Balakrishnan, Inseok Hwang 0002, Jung Soon Jang, Claire J. Tomlin	Inference Methods for Autonomous Stochastic Linear Hybrid Systems.	HSCC	2004	DBLP DOI BibTeX RDF
1	Mohamed Babaali, Magnus Egerstedt	Observability of Switched Linear Systems.	HSCC	2004	DBLP DOI BibTeX RDF
1	Arkadeb Ghosal, Thomas A. Henzinger, Christoph M. Kirsch, Marco A. A. Sanvido	Event-Driven Programming with Logical Execution Times.	HSCC	2004	DBLP DOI BibTeX RDF
1	João P. Hespanha 0001	Stochastic Hybrid Systems: Application to Communication Networks.	HSCC	2004	DBLP DOI BibTeX RDF
1	Thomas Brihaye, Christian Michaux, Cédric Rivière, Christophe Troestler	On O-Minimal Hybrid Systems.	HSCC	2004	DBLP DOI BibTeX RDF
1	Stephen Prajna, Ali Jadbabaie	Safety Verification of Hybrid Systems Using Barrier Certificates.	HSCC	2004	DBLP DOI BibTeX RDF
1	M. Kanat Camlibel, W. P. M. H. Heemels, Johannes M. Schumacher	On the Controllability of Bimodal Piecewise Linear Systems.	HSCC	2004	DBLP DOI BibTeX RDF
1	Xuping Xu, Guisheng Zhai	On Practical Stability and Stabilization of Hybrid and Switched Systems.	HSCC	2004	DBLP DOI BibTeX RDF
1	Jianghai Hu, Wei Chung Wu, Shankar Sastry 0001	Modeling Subtilin Production in Bacillus subtilis Using Stochastic Hybrid Systems.	HSCC	2004	DBLP DOI BibTeX RDF
1	Amit Bhatia 0001, Emilio Frazzoli	Incremental Search Methods for Reachability Analysis of Continuous and Hybrid Systems.	HSCC	2004	DBLP DOI BibTeX RDF
1	Antonio Bicchi, Alessia Marigo, Benedetto Piccoli	Discrete and Hybrid Nonholonomy.	HSCC	2004	DBLP DOI BibTeX RDF
1	Michal Kvasnica, Pascal Grieder, Mato Baotic, Manfred Morari	Multi-Parametric Toolbox (MPT).	HSCC	2004	DBLP DOI BibTeX RDF
1	Noël Bonneuil, Patrick Saint-Pierre	The Hybrid Guaranteed Capture Basin Algorithm in Economics.	HSCC	2004	DBLP DOI BibTeX RDF
1	Dharmashankar Subramanian, Kartik B. Ariyur, Nitin Lamba, Ranjana Deshpande, Sonja Glavaski	Control Design for a Hybrid Dynamic System: A NASA Life Support System.	HSCC	2004	DBLP DOI BibTeX RDF
1	Martin De Wulf, Laurent Doyen 0001, Jean-François Raskin	Almost ASAP Semantics: From Timed Models to Timed Implementations.	HSCC	2004	DBLP DOI BibTeX RDF
1	Sriram Sankaranarayanan 0001, Henny Sipma, Zohar Manna	Constructing Invariants for Hybrid Systems.	HSCC	2004	DBLP DOI BibTeX RDF
1	Fredrik Rosenqvist, Anders Karlström	Piecewise-Linear Output-Error Methods for Parameter Estimation in Direction-Dependent Processes.	HSCC	2004	DBLP DOI BibTeX RDF
1	Pieter Collins, Jan H. van Schuppen	Observability of Piecewise-Affine Hybrid Systems.	HSCC	2004	DBLP DOI BibTeX RDF
1	Ashish Tiwari 0001, Gaurav Khanna 0001	Nonlinear Systems: Approximating Reach Sets.	HSCC	2004	DBLP DOI BibTeX RDF
1	Tobias Geyer, Georgios Papafotiou, Manfred Morari	On the Optimal Control of Switch-Mode DC-DC Converters.	HSCC	2004	DBLP DOI BibTeX RDF	Hybrid Systems, Model Predictive Control, DC-DC Converters, Power Electronics
1	Aaron D. Ames, Shankar Sastry 0001	Affine Hybrid Systems.	HSCC	2004	DBLP DOI BibTeX RDF
1	A. J. van der Schaft	Bisimulation of Dynamical Systems.	HSCC	2004	DBLP DOI BibTeX RDF
1	Patrick Lincoln, Ashish Tiwari 0001	Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks.	HSCC	2004	DBLP DOI BibTeX RDF
1	Chenggui Yuan, John Lygeros	Asymptotic Stability and Boundedness of Delay Switching Diffusions.	HSCC	2004	DBLP DOI BibTeX RDF	Itô formula, Switching diffusions, Stochastic asymptotic stability, Lyapunov function
1	William Glover, John Lygeros	A Stochastic Hybrid Model for Air Traffic Control Simulation.	HSCC	2004	DBLP DOI BibTeX RDF
1	René Sanchez, Roberto Horowitz, Masayoshi Tomizuka, Slobodan N. Simic	Full Paper Sheet Control Using Hybrid Automata.	HSCC	2004	DBLP DOI BibTeX RDF
1	Yerang Hur, Jesung Kim, Insup Lee 0001, Jin-Young Choi	Sound Code Generation from Communicating Hybrid Models.	HSCC	2004	DBLP DOI BibTeX RDF
1	William C. Rounds	A Spatial Logic for the Hybrid p-Calculus.	HSCC	2004	DBLP DOI BibTeX RDF
1	Andrea Balluchi, Federico Di Natale, Alberto L. Sangiovanni-Vincentelli, Jan H. van Schuppen	Synthesis for Idle Speed Control of an Automotive Engine.	HSCC	2004	DBLP DOI BibTeX RDF
1	Eugene Asarin, Thao Dang 0001	Abstraction by Projection and Application to Multi-affine Systems.	HSCC	2004	DBLP DOI BibTeX RDF
1	Manuela-Luminita 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
1	Calin Belta, Peter Finin, Luc C. G. J. M. Habets, Ádám M. Halász, Marcin Imielinski, Vijay Kumar 0001, Harvey Rubin	Understanding the Bacterial Stringent Response Using Reachability Analysis of Hybrid Systems.	HSCC	2004	DBLP DOI BibTeX RDF
1	Ansgar Fehnker, Franjo Ivancic	Benchmarks for Hybrid Systems Verification.	HSCC	2004	DBLP DOI BibTeX RDF
1	Jennifer M. Davoren, Vaughan Coulthard, Nicolas Markey, Thomas Moor	Non-deterministic Temporal Logics for General Flow Systems.	HSCC	2004	DBLP DOI BibTeX RDF
1	Alexandre M. Bayen, Robin L. Raffard, Claire J. Tomlin	Network Congestion Alleviation Using Adjoint Hybrid Control: Application to Highways.	HSCC	2004	DBLP DOI BibTeX RDF
1	Vincent D. Blondel, Yurii E. Nesterov, Jacques Theys	Approximations of the Rate of Growth of Switched Linear Systems.	HSCC	2004	DBLP DOI BibTeX RDF
1	Leandro G. Barajas, Ashish Kansal, Abhinav Saxena, Magnus Egerstedt, Alex Goldstein, Edward W. Kamen	Modeling and Control of SMT Manufacturing Lines Using Hybrid Dynamic Systems.	HSCC	2003	DBLP DOI BibTeX RDF
1	Olaf Stursberg, Bruce H. Krogh	Efficient Representation and Computation of Reachable Sets for Hybrid Systems.	HSCC	2003	DBLP DOI BibTeX RDF	Hybrid Dynamic Systems, Hyperrectangles, Model Checking, Singular Value Decomposition, Convex Hull, Polyhedra
1	Tobias Geyer, Fabio Danilo Torrisi, Manfred Morari	Efficient Mode Enumeration of Compositional Hybrid Systems.	HSCC	2003	DBLP DOI BibTeX RDF
1	Xuping Xu, Panos J. Antsaklis	Results and Perspectives on Computational Methods for Optimal Control of Switched Systems.	HSCC	2003	DBLP DOI BibTeX RDF
1	Paulo Tabuada, George J. Pappas	Model Checking LTL over Controllable Linear Systems Is Decidable.	HSCC	2003	DBLP DOI BibTeX RDF
1	William C. Rounds, Hosung Song	The Phi-Calculus: A Language for Distributed Control of Reconfigurable Embedded Systems.	HSCC	2003	DBLP DOI BibTeX RDF
1	Rainer Möbus, Mato Baotic, Manfred Morari	Multi-object Adaptive Cruise Control.	HSCC	2003	DBLP DOI BibTeX RDF
1	Ashish Tiwari 0001	Approximate Reachability for Linear Systems.	HSCC	2003	DBLP DOI BibTeX RDF
1	Richard J. Boulton, Ruth Hardy, Ursula Martin	A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems.	HSCC	2003	DBLP DOI BibTeX RDF
1	Nael H. El-Farra, Panagiotis D. Christofides	Hybrid Control of Parabolic PDEs: Handling Faults of Constrained Control Actuators.	HSCC	2003	DBLP DOI BibTeX RDF
1	Joël Ouaknine, James Worrell 0001	Universality and Language Inclusion for Open and Closed Timed Automata.	HSCC	2003	DBLP DOI BibTeX RDF
1	Manuela-Luminita Bujorianu, John Lygeros	Reachability Questions in Piecewise Deterministic Markov Processes.	HSCC	2003	DBLP DOI BibTeX RDF	Markov processes, Hybrid systems, reachability, hitting times
1	Adam Austin, Magnus Egerstedt	Mode Reconstruction for Source Coding and Multi-modal Control.	HSCC	2003	DBLP DOI BibTeX RDF
1	Xenofon D. Koutsoukos, James Kurien, Feng Zhao 0001	Estimation of Distributed Hybrid Systems Using Particle Filtering Methods.	HSCC	2003	DBLP DOI BibTeX RDF
1	Subramanian Ramamoorthy, Benjamin Kuipers	Qualitative Heterogeneous Control of Higher Order Systems.	HSCC	2003	DBLP DOI BibTeX RDF
1	Luigi Palopoli 0002, Luca Abeni, Giuseppe Lipari	On the Application of Hybrid Control to CPU Reservations.	HSCC	2003	DBLP DOI BibTeX RDF
1	Ronojoy Ghosh, Ashish Tiwari 0001, Claire J. Tomlin	Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata.	HSCC	2003	DBLP DOI BibTeX RDF
1	Sayan Mitra, Yong Wang, Nancy A. Lynch, Eric Feron	Safety Verification of Model Helicopter Controller Using Hybrid Input/Output Automata.	HSCC	2003	DBLP DOI BibTeX RDF
1	Yan Gao, John Lygeros, Marc Quincampoix, Nicolas Seube	Approximate Stabilisation of Uncertain Hybrid Systems.	HSCC	2003	DBLP DOI BibTeX RDF
1	Thomas Bak, Jan Dimon Bendtsen, Anders P. Ravn	Hybrid Control Design for a Wheeled Mobile Robot.	HSCC	2003	DBLP DOI BibTeX RDF
1	Jean-Guillaume Dumas, Aude Rondepierre	Modeling the Electrical Activity of a Neuron by a Continuous and Piecewise Affine Hybrid System.	HSCC	2003	DBLP DOI BibTeX RDF
1	James Kapinski, Bruce H. Krogh, Oded Maler, Olaf Stursberg	On Systematic Simulation of Open Continuous Systems.	HSCC	2003	DBLP DOI BibTeX RDF
1	Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Michele Minichino, Ester Ciancamerla, Andrea Parisse, Enrico Tronci, Marisa Venturini Zilli	Automatic Verification of a Turbogas Control System with the Mur varphi Verifier.	HSCC	2003	DBLP DOI BibTeX RDF
1	W. P. M. H. Heemels, M. Kanat Camlibel, A. J. van der Schaft, Johannes M. Schumacher	Modelling, Well-Posedness, Stability of Switched Electrical Networks.	HSCC	2003	DBLP DOI BibTeX RDF
1	Andreas Kwiatkowski, Gerwald Lichtenberg, Axel Schild	Event Prediction for Switching Linear Systems with Time Varying Thresholds Using Orthogonal Functions.	HSCC	2003	DBLP DOI BibTeX RDF	Event prediction, switching linear systems, orthogonal functions
1	Udi Peless	Developing Home Robotics Products: Challenges and Lessons Learned.	HSCC	2003	DBLP DOI BibTeX RDF
1	M. Shahid Shaikh, Peter E. Caines	On the Optimal Control of Hybrid Systems: Optimization of Trajectories, Switching Times, Location Schedules.	HSCC	2003	DBLP DOI BibTeX RDF
1	Eugene Asarin, Thao Dang 0001, Antoine Girard	Reachability Analysis of Nonlinear Systems Using Conservative Approximation .	HSCC	2003	DBLP DOI BibTeX RDF
1	Bruno Picasso, Antonio Bicchi	Stabilization of LTI Systems with Quantized State - Quantized Input Static Feedback.	HSCC	2003	DBLP DOI BibTeX RDF
1	Jie Liu 0001, Edward A. Lee	On the Causality of Mixed-Signal and Hybrid Models.	HSCC	2003	DBLP DOI BibTeX RDF
1	Hidde de Jong, Jean-Luc Gouzé, Céline Hernandez, Michel Page, Sari Tewfik, Johannes Geiselmann	Hybrid Modeling and Simulation of Genetic Regulatory Networks: A Qualitative Approach.	HSCC	2003	DBLP DOI BibTeX RDF
1	Alberto Bemporad, Pandeli Borodani, Massimo Mannelli	Hybrid Control of an Automotive Robotized Gearbox for Reduction of Consumptions and Emissions.	HSCC	2003	DBLP DOI BibTeX RDF
1	David Harel	A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal.	HSCC	2003	DBLP DOI BibTeX RDF
1	Rajeev Alur, Thao Dang 0001, Franjo Ivancic	Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction.	HSCC	2003	DBLP DOI BibTeX RDF
1	Giancarlo Ferrari-Trecate, Michael Schinkel	Conditions of Optimal Classification for Piecewise Affine Regression.	HSCC	2003	DBLP DOI BibTeX RDF
1	David Berlinski	The Mathematics of Matter and the Mathematics of Mind.	HSCC	2003	DBLP DOI BibTeX RDF
1	René Vidal, Alessandro Chiuso, Stefano Soatto, Shankar Sastry 0001	Observability of Linear Hybrid Systems.	HSCC	2003	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	Alberto Bemporad, Andrea Garulli, Simone Paoletti, Antonio Vicino	A Greedy Approach to Identification of Piecewise Affine Models.	HSCC	2003	DBLP DOI BibTeX RDF
1	Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli	Design of Observers for Hybrid Systems.	HSCC	2002	DBLP DOI BibTeX RDF

Publications at "HSCC"( http://dblp.L3S.de/Venues/HSCC )