Search results for "HSCC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Eva Crück, John Lygeros	A Hybrid Model for Subliminal Air Traffic Control.	HSCC	2007	DBLP DOI BibTeX RDF
1	Georgios E. Fainekos, Antoine Girard, George J. Pappas	Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications.	HSCC	2007	DBLP DOI BibTeX RDF
1	Abubakr Muhammad, Ali Jadbabaie	Asymptotic Stability of Switched Higher Order Laplacians.	HSCC	2007	DBLP DOI BibTeX RDF
1	Maria Domenica Di Benedetto, Stefano Di Gennaro, Alessandro D'Innocenzo	Diagnosability Verification for Hybrid Automata.	HSCC	2007	DBLP DOI BibTeX RDF
1	Kerim Yunt, Christoph Glocker	Modeling and Optimal Control of Hybrid Rigidbody Mechanical Systems.	HSCC	2007	DBLP DOI BibTeX RDF	Impulsive Optimal Control, Impactive Systems, non-smooth analysis, hybrid, mechanical systems
1	Jens Oehlerking, Henning Burchardt, Oliver E. Theel	Fully Automated Stability Verification for Piecewise Affine Systems.	HSCC	2007	DBLP DOI BibTeX RDF
1	Alessandro Abate, Alessandro D'Innocenzo, Giordano Pola, Maria Domenica Di Benedetto, Shankar Sastry 0001	The Concept of Deadlock and Livelock in Hybrid Control Systems.	HSCC	2007	DBLP DOI BibTeX RDF
1	Sayan Mitra, Nancy A. Lynch	Trace-Based Semantics for Probabilistic Timed I/O Automata.	HSCC	2007	DBLP DOI BibTeX RDF
1	Gera Weiss, Rajeev Alur	Automata Based Interfaces for Control and Scheduling.	HSCC	2007	DBLP DOI BibTeX RDF
1	Pau Martí, Manel Velasco	Toward Flexible Scheduling of Real-Time Control Tasks: Reviewing Basic Control Models.	HSCC	2007	DBLP DOI BibTeX RDF
1	Michael M. Zavlanos, George J. Pappas	Distributed Hybrid Control for Multiple-Pursuer Multiple-Evader Games.	HSCC	2007	DBLP DOI BibTeX RDF
1	Fabio Bagagiolo	Minimum Time for a Hybrid System with Thermostatic Switchings.	HSCC	2007	DBLP DOI BibTeX RDF
1	Alessandro Abate, Saurabh Amin, Maria Prandini, John Lygeros, Shankar Sastry 0001	Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems.	HSCC	2007	DBLP DOI BibTeX RDF
1	Peter E. Caines, Magnus Egerstedt, Roland P. Malhamé, Angela Schöllig	A Hybrid Bellman Equation for Bimodal Systems.	HSCC	2007	DBLP DOI BibTeX RDF
1	Magnus Egerstedt, Todd D. Murphey, Jon Ludwig	Motion Programs for Puppet Choreography and Control.	HSCC	2007	DBLP DOI BibTeX RDF
1	Marta Capiluppi, Manfred Morari	Networks of Hybrid Systems: Connections Faults Modelling and Detection.	HSCC	2007	DBLP DOI BibTeX RDF
1	Mihály Petreczky, René Vidal	Metrics and Topology for Nonlinear and Hybrid Systems.	HSCC	2007	DBLP DOI BibTeX RDF
1	Matthew J. Daigle, Indranil Roychoudhury, Gautam Biswas, Xenofon D. Koutsoukos	Efficient Simulation of Component-Based Hybrid Models Represented as Hybrid Bond Graphs.	HSCC	2007	DBLP DOI BibTeX RDF
1	Pablo A. Parrilo, Ali Jadbabaie	Approximation of the Joint Spectral Radius of a Set of Matrices Using Sum of Squares.	HSCC	2007	DBLP DOI BibTeX RDF
1	Oleksiy Kurganskyy, Igor Potapov, Fernando Sancho-Caparrini	Computation in One-Dimensional Piecewise Maps.	HSCC	2007	DBLP DOI BibTeX RDF
1	Antoine Girard	Approximately Bisimilar Finite Abstractions of Stable Linear Systems.	HSCC	2007	DBLP DOI BibTeX RDF
1	Eva M. Navarro-López, Domingo Cortés	Controller Parameters Selection Through Bifurcation Analysis in a Piecewise-Smooth System.	HSCC	2007	DBLP DOI BibTeX RDF	Discontinuous systems, sliding motions, oilwell drillstrings, dry friction, stick-slip oscillations, bifurcation analysis
1	John-Michael McNew, Eric Klavins, Magnus Egerstedt	Solving Coverage Problems with Embedded Graph Grammars.	HSCC	2007	DBLP DOI BibTeX RDF
1	Hao Yang 0001, Bin Jiang 0001, Vincent Cocquempot	Fault Accommodation for Hybrid Systems with Continuous and Discrete Faults.	HSCC	2007	DBLP DOI BibTeX RDF
1	D. A. van Beek, Michel A. Reniers, Ramon R. H. Schiffelers, Jacobus E. Rooda	Foundations of a Compositional Interchange Format for Hybrid Systems.	HSCC	2007	DBLP DOI BibTeX RDF
1	Erik Johannesson, Toivo Henningsson, Anton Cervin	Sporadic Control of First-Order Linear Stochastic Systems.	HSCC	2007	DBLP DOI BibTeX RDF
1	Andrea Balluchi, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli	Complexity Reduction for the Design of Interacting Controllers.	HSCC	2007	DBLP DOI BibTeX RDF
1	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
1	Thao Dang 0001	Approximate Reachability Computation for Polynomial Systems.	HSCC	2006	DBLP DOI BibTeX RDF
1	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
1	Michael Emmi, Rupak Majumdar	Decision Problems for the Verification of Real-Time Software.	HSCC	2006	DBLP DOI BibTeX RDF
1	Jun-ichi Imura, Hiromichi Matsushima	Simultaneous Optimization of Continuous Control Inputs and Discrete State Waypoints.	HSCC	2006	DBLP DOI BibTeX RDF
1	Alberto Bemporad, Stefano Di Cairano, Jorge Júlvez	Event-Based Model Predictive Control and Verification of Integral Continuous-Time Hybrid Automata.	HSCC	2006	DBLP DOI BibTeX RDF
1	José Meseguer 0001, Raman Sharykin	Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems.	HSCC	2006	DBLP DOI BibTeX RDF
1	Alessandro Pinto, Luca P. Carloni, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli	Interchange Format for Hybrid Systems: Abstract Semantics.	HSCC	2006	DBLP DOI BibTeX RDF
1	Antonio Bicchi, Alessia Marigo, Benedetto Piccoli	Improving Efficiency of Finite Plans by Optimal Choice of Input Sets.	HSCC	2006	DBLP DOI BibTeX RDF
1	Sriram Sankaranarayanan 0001, Henny B. Sipma, Zohar Manna	Fixed Point Iteration for Computing the Time Elapse Operator.	HSCC	2006	DBLP DOI BibTeX RDF
1	Saurabh Amin, Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry 0001	Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems.	HSCC	2006	DBLP DOI BibTeX RDF
1	Shun-Ichi Azuma, Magnus Egerstedt, Yorai Wardi	Output-Based Optimal Timing Control of Switched Systems.	HSCC	2006	DBLP DOI BibTeX RDF
1	Aaron D. Ames, Paulo Tabuada, Shankar Sastry 0001	On the Stability of Zeno Equilibria.	HSCC	2006	DBLP DOI BibTeX RDF
1	A. Agung Julius	Approximate Abstraction of Stochastic Hybrid Automata.	HSCC	2006	DBLP DOI BibTeX RDF
1	Francesco Bullo	Motion Coordination for Multi-agent Networks.	HSCC	2006	DBLP DOI BibTeX RDF
1	Zhi Han, Bruce H. Krogh	Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes.	HSCC	2006	DBLP DOI BibTeX RDF
1	Manindra Agrawal, Frank Stephan 0001, P. S. Thiagarajan, Shaofa Yang	Behavioural Approximations for Restricted Linear Differential Hybrid Automata.	HSCC	2006	DBLP DOI BibTeX RDF
1	Marius Kloetzer, Calin Belta	Reachability Analysis of Multi-affine Systems.	HSCC	2006	DBLP DOI BibTeX RDF
1	Martin De Wulf, Laurent Doyen 0001, Jean-François Raskin	A Lattice Theory for Solving Games of Imperfect Information.	HSCC	2006	DBLP DOI BibTeX RDF
1	Sayan Mitra, Nancy A. Lynch, Daniel Liberzon	Verifying Average Dwell Time by Solving Optimization Problems.	HSCC	2006	DBLP DOI BibTeX RDF
1	Andreas Podelski, Silke Wagner	Model Checking of Hybrid Systems: From Reachability Towards Stability.	HSCC	2006	DBLP DOI BibTeX RDF
1	P. R. Kumar 0001	Towards a Third Generation of Control Systems.	HSCC	2006	DBLP DOI BibTeX RDF
1	Peter E. Caines, M. Shahid Shaikh	Optimality Zone Algorithms for Hybrid Systems: Efficient Algorithms for Optimal Location and Control Computation.	HSCC	2006	DBLP DOI BibTeX RDF
1	Haiyang Zheng, Edward A. Lee, Aaron D. Ames	Beyond Zeno: Get on with It!	HSCC	2006	DBLP DOI BibTeX RDF
1	Ricardo G. Sanfelice, Rafal Goebel, Andrew R. Teel	A Feedback Control Motivation for Generalized Solutions to Hybrid Systems.	HSCC	2006	DBLP DOI BibTeX RDF
1	John M. Rushby	Hybrid Systems - And Everything Else.	HSCC	2006	DBLP DOI BibTeX RDF
1	Charles Lesire, Catherine Tessier	Estimation and Conflict Detection in Human Controlled Systems.	HSCC	2006	DBLP DOI BibTeX RDF
1	John Lygeros, Xuerong Mao, Chenggui Yuan	Stochastic Hybrid Delay Population Dynamics.	HSCC	2006	DBLP DOI BibTeX RDF	Itô’s formula, ultimate boundedness, extinction, Brownian motion
1	Yan Gao, John Lygeros, Marc Quincampoix	The Reachability Problem for Uncertain Hybrid Systems Revisited: A Viability Theory Perspective.	HSCC	2006	DBLP DOI BibTeX RDF
1	Andrea Balluchi, Antonio Bicchi, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli, Gabriele Serra	Hybrid Modelling and Control of the Common Rail Injection System.	HSCC	2006	DBLP DOI BibTeX RDF
1	Nuno C. Martins	Finite Gain lp Stabilization Is Impossible by Bit-Rate Constrained Feedback.	HSCC	2006	DBLP DOI BibTeX RDF
1	Antoine Girard, Colas Le Guernic, Oded Maler	Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs.	HSCC	2006	DBLP DOI BibTeX RDF
1	Issam S. Strub, Alexandre M. Bayen	Mixed Initial-Boundary Value Problems for Scalar Conservation Laws: Application to the Modeling of Transportation Networks.	HSCC	2006	DBLP DOI BibTeX RDF	Weak solution of scalar conservation laws, Weak hybrid boundary conditions, LWR PDE, Highway traffic modeling, Boundary control
1	Giancarlo Ferrari-Trecate, Magnus Egerstedt, Annalisa Buffa, Meng Ji	Laplacian Sheep: A Hybrid, Stop-Go Policy for Leader-Based Containment Control.	HSCC	2006	DBLP DOI BibTeX RDF
1	Xenofon D. Koutsoukos, Derek Riley	Computational Methods for Reachability Analysis of Stochastic Hybrid Systems.	HSCC	2006	DBLP DOI BibTeX RDF
1	Daniel Liberzon, Dragan Nesic	Stability Analysis of Hybrid Systems Via Small-Gain Theorems.	HSCC	2006	DBLP DOI BibTeX RDF
1	Samuel Drulhe, Giancarlo Ferrari-Trecate, Hidde de Jong, Alain Viari	Reconstruction of Switching Thresholds in Piecewise-Affine Models of Genetic Regulatory Networks.	HSCC	2006	DBLP DOI BibTeX RDF
1	Marius Kloetzer, Calin Belta	A Fully Automated Framework for Control of Linear Systems from LTL Specifications.	HSCC	2006	DBLP DOI BibTeX RDF
1	Fabian Kratz, Oleg Sokolsky, George J. Pappas, Insup Lee 0001	R-Charon, a Modeling Language for Reconfigurable Hybrid Systems.	HSCC	2006	DBLP DOI BibTeX RDF
1	João P. Hespanha 0001, Ashish Tiwari 0001 (eds.)	Hybrid Systems: Computation and Control, 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings	HSCC	2006	DBLP DOI BibTeX RDF
1	Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Stefano Di Gennaro	Observability of Hybrid Automata by Abstraction.	HSCC	2006	DBLP DOI BibTeX RDF
1	Antoine Girard, George J. Pappas	Verification Using Simulation.	HSCC	2006	DBLP DOI BibTeX RDF
1	Chiheb Kossentini, Paul Caspi	Approximation, Sampling and Voting in Hybrid Computing Systems.	HSCC	2006	DBLP DOI BibTeX RDF
1	Rajeev Alur, Mikhail Bernadsky	Bounded Model Checking for GSMP Models of Stochastic Real-Time Systems.	HSCC	2006	DBLP DOI BibTeX RDF
1	Paulo Tabuada	Sensor/Actuator Abstractions for Symbolic Embedded Control Design.	HSCC	2005	DBLP DOI BibTeX RDF
1	Markus P. J. Fromherz, Lara S. Crawford, Haitham A. Hindi	Coordinated Control for Highly Reconfigurable Systems.	HSCC	2005	DBLP DOI BibTeX RDF
1	Alberto Bemporad, Stefano Di Cairano	Optimal Control of Discrete Hybrid Stochastic Automata.	HSCC	2005	DBLP DOI BibTeX RDF
1	Manfred Morari, Lothar Thiele (eds.)	Hybrid Systems: Computation and Control, 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings	HSCC	2005	DBLP DOI BibTeX RDF
1	Ian A. Hiskens	Non-uniqueness in Reverse Time of Hybrid System Trajectories.	HSCC	2005	DBLP DOI BibTeX RDF
1	Antoine Girard	Reachability of Uncertain Linear Systems Using Zonotopes.	HSCC	2005	DBLP DOI BibTeX RDF
1	Grégory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Michel Page, Dominique Schneider	Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in.	HSCC	2005	DBLP DOI BibTeX RDF
1	Stefan Strubbe, A. J. van der Schaft	Bisimulation for Communicating Piecewise Deterministic Markov Processes (CPDPs).	HSCC	2005	DBLP DOI BibTeX RDF
1	Stephen Prajna, Anders Rantzer	Primal-Dual Tests for Safety and Reachability.	HSCC	2005	DBLP DOI BibTeX RDF
1	Dominik Niederberger	Design of Optimal Autonomous Switching Circuits to Suppress Mechanical Vibration.	HSCC	2005	DBLP DOI BibTeX RDF
1	Jean Buisson, Pierre-Yves Richard, Hervé Cormerais	On the Stabilisation of Switching Electrical Power Converters.	HSCC	2005	DBLP DOI BibTeX RDF
1	Yi Ma 0001, René Vidal	Identification of Deterministic Switched ARX Systems via Identification of Algebraic Varieties.	HSCC	2005	DBLP DOI BibTeX RDF
1	Aaron D. Ames, Shankar Sastry 0001	A Homology Theory for Hybrid Systems: Hybrid Homology.	HSCC	2005	DBLP DOI BibTeX RDF
1	Enric Rodríguez-Carbonell, Ashish Tiwari 0001	Generating Polynomial Invariants for Hybrid Systems.	HSCC	2005	DBLP DOI BibTeX RDF
1	Edward A. Lee, Haiyang Zheng	Operational Semantics of Hybrid Systems.	HSCC	2005	DBLP DOI BibTeX RDF
1	Rajeev Alur, Salvatore La Torre, P. Madhusudan	Perturbed Timed Automata.	HSCC	2005	DBLP DOI BibTeX RDF
1	Domitilla Del Vecchio, Richard M. Murray	Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Order.	HSCC	2005	DBLP DOI BibTeX RDF
1	Goran Frehse	PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech.	HSCC	2005	DBLP DOI BibTeX RDF
1	Ansgar Fehnker, Edmund M. Clarke, Sumit Kumar Jha 0001, Bruce H. Krogh	Refining Abstractions of Hybrid Systems Using Counterexample Fragments.	HSCC	2005	DBLP DOI BibTeX RDF
1	Rajesh Kumar 0005, Bruce H. Krogh, Peter H. Feiler	An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems.	HSCC	2005	DBLP DOI BibTeX RDF	ontology, theorem proving, knowledge base, knowledge integration
1	Tejas R. Mehta, Magnus Egerstedt	Learning Multi-modal Control Programs.	HSCC	2005	DBLP DOI BibTeX RDF
1	Andrea Balluchi, Pierpaolo Murrieri, Alberto L. Sangiovanni-Vincentelli	Controller Synthesis on Non-uniform and Uncertain Discrete-Time Domains.	HSCC	2005	DBLP DOI BibTeX RDF
1	Katsunori Nakamura, Akira Fusaoka	On Transfinite Hybrid Automata.	HSCC	2005	DBLP DOI BibTeX RDF
1	Mardavij Roozbehani, Eric Feron, Alexandre Megretski	Modeling, Optimization and Computation for Software Verification.	HSCC	2005	DBLP DOI BibTeX RDF
1	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
1	Mircea Lazar, W. P. M. H. Heemels, Siep Weiland, Alberto Bemporad, Octavian Pastravanu	Infinity Norms as Lyapunov Functions for Model Predictive Control of Constrained PWA Systems.	HSCC	2005	DBLP DOI BibTeX RDF
1	Stefan Ratschan, Zhikun She	Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement.	HSCC	2005	DBLP DOI BibTeX RDF
1	Robin L. Raffard, Jianghai Hu, Claire J. Tomlin	Adjoint-Based Optimal Control of the Expected Exit Time for Stochastic Hybrid Systems.	HSCC	2005	DBLP DOI BibTeX RDF
1	Francesco Borrelli, Tamás Keviczky, Gary J. Balas, Greg E. Stewart, Kingsley Fregene, Datta N. Godbole	Hybrid Decentralized Control of Large Scale Systems.	HSCC	2005	DBLP DOI BibTeX RDF

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