Conferences in DBLP
Francesco Bullo Motion Coordination for Multi-agent Networks. [Citation Graph (0, 0)][DBLP ] HSCC, 2006, pp:1- [Conf ] P. R. Kumar Towards a Third Generation of Control Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2006, pp:2- [Conf ] John M. Rushby Hybrid Systems - And Everything Else. [Citation Graph (0, 0)][DBLP ] HSCC, 2006, pp:3- [Conf ] Manindra Agrawal , Frank Stephan , P. S. Thiagarajan , Shaofa Yang Behavioural Approximations for Restricted Linear Differential Hybrid Automata. [Citation Graph (0, 0)][DBLP ] HSCC, 2006, pp:4-18 [Conf ] Rajeev Alur , Mikhail Bernadsky Bounded Model Checking for GSMP Models of Stochastic Real-Time Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2006, pp:19-33 [Conf ] Aaron D. Ames , Paulo Tabuada , Shankar Sastry On the Stability of Zeno Equilibria. [Citation Graph (0, 0)][DBLP ] HSCC, 2006, pp:34-48 [Conf ] Saurabh Amin , Alessandro Abate , Maria Prandini , John Lygeros , Shankar Sastry Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2006, pp:49-63 [Conf ] Shun-ichi Azuma , Magnus Egerstedt , Yorai Wardi Output-Based Optimal Timing Control of Switched Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2006, pp:64-78 [Conf ] Andrea Balluchi , Antonio Bicchi , Emanuele Mazzi , Alberto L. Sangiovanni-Vincentelli , Gabriele Serra Hybrid Modelling and Control of the Common Rail Injection System. [Citation Graph (0, 0)][DBLP ] HSCC, 2006, pp:79-92 [Conf ] Alberto Bemporad , Stefano Di Cairano , Jorge Júlvez Event-Based Model Predictive Control and Verification of Integral Continuous-Time Hybrid Automata. [Citation Graph (0, 0)][DBLP ] HSCC, 2006, pp:93-107 [Conf ] Antonio Bicchi , Alessia Marigo , Benedetto Piccoli Improving Efficiency of Finite Plans by Optimal Choice of Input Sets. [Citation Graph (0, 0)][DBLP ] HSCC, 2006, pp:108-122 [Conf ] Peter E. Caines , M. Shahid Shaikh Optimality Zone Algorithms for Hybrid Systems: Efficient Algorithms for Optimal Location and Control Computation. [Citation Graph (0, 0)][DBLP ] HSCC, 2006, pp:123-137 [Conf ] Thao Dang Approximate Reachability Computation for Polynomial Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2006, pp:138-152 [Conf ] Martin De Wulf , Laurent Doyen , Jean-François Raskin A Lattice Theory for Solving Games of Imperfect Information. [Citation Graph (0, 0)][DBLP ] HSCC, 2006, pp:153-168 [Conf ] Alessandro D'Innocenzo , Maria Domenica Di Benedetto , Stefano Di Gennaro Observability of Hybrid Automata by Abstraction. [Citation Graph (0, 0)][DBLP ] HSCC, 2006, pp:169-183 [Conf ] S. Drulhe , Giancarlo Ferrari-Trecate , H. de Jong , A. Viari Reconstruction of Switching Thresholds in Piecewise-Affine Models of Genetic Regulatory Networks. [Citation Graph (0, 0)][DBLP ] HSCC, 2006, pp:184-199 [Conf ] Michael Emmi , Rupak Majumdar Decision Problems for the Verification of Real-Time Software. [Citation Graph (0, 0)][DBLP ] HSCC, 2006, pp:200-211 [Conf ] Giancarlo Ferrari-Trecate , Magnus Egerstedt , A. Buffa , M. Ji Laplacian Sheep: A Hybrid, Stop-Go Policy for Leader-Based Containment Control. [Citation Graph (0, 0)][DBLP ] HSCC, 2006, pp:212-226 [Conf ] Ioannis A. Fotiou , A. Giovanni Beccuti , Georgios Papafotiou , Manfred Morari Optimal Control of Piece-Wise Polynomial Hybrid Systems Using Cylindrical Algebraic Decomposition. [Citation Graph (0, 0)][DBLP ] HSCC, 2006, pp:227-241 [Conf ] Yan Gao , John Lygeros , Marc Quincampoix The Reachability Problem for Uncertain Hybrid Systems Revisited: A Viability Theory Perspective. [Citation Graph (0, 0)][DBLP ] HSCC, 2006, pp:242-256 [Conf ] Antoine Girard , Colas Le Guernic , Oded Maler Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs. [Citation Graph (0, 0)][DBLP ] HSCC, 2006, pp:257-271 [Conf ] Antoine Girard , George J. Pappas Verification Using Simulation. [Citation Graph (0, 0)][DBLP ] HSCC, 2006, pp:272-286 [Conf ] Zhi Han , Bruce H. Krogh Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes. [Citation Graph (0, 0)][DBLP ] HSCC, 2006, pp:287-301 [Conf ] Jun-ichi Imura , Hiromichi Matsushima Simultaneous Optimization of Continuous Control Inputs and Discrete State Waypoints. [Citation Graph (0, 0)][DBLP ] HSCC, 2006, pp:302-317 [Conf ] A. Agung Julius Approximate Abstraction of Stochastic Hybrid Automata. [Citation Graph (0, 0)][DBLP ] HSCC, 2006, pp:318-332 [Conf ] Marius Kloetzer , Calin Belta A Fully Automated Framework for Control of Linear Systems from LTL Specifications. [Citation Graph (0, 0)][DBLP ] HSCC, 2006, pp:333-347 [Conf ] Marius Kloetzer , Calin Belta Reachability Analysis of Multi-affine Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2006, pp:348-362 [Conf ] Chiheb Kossentini , Paul Caspi Approximation, Sampling and Voting in Hybrid Computing Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2006, pp:363-376 [Conf ] Xenofon D. Koutsoukos , Derek Riley Computational Methods for Reachability Analysis of Stochastic Hybrid Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2006, pp:377-391 [Conf ] Fabian Kratz , Oleg Sokolsky , George J. Pappas , Insup Lee R-Charon, a Modeling Language for Reconfigurable Hybrid Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2006, pp:392-406 [Conf ] Charles Lesire , Catherine Tessier Estimation and Conflict Detection in Human Controlled Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2006, pp:407-420 [Conf ] Daniel Liberzon , Dragan Nesic Stability Analysis of Hybrid Systems Via Small-Gain Theorems. [Citation Graph (0, 0)][DBLP ] HSCC, 2006, pp:421-435 [Conf ] John Lygeros , Xuerong Mao , Chenggui Yuan Stochastic Hybrid Delay Population Dynamics. [Citation Graph (0, 0)][DBLP ] HSCC, 2006, pp:436-450 [Conf ] Nuno C. Martins Finite Gain l p Stabilization Is Impossible by Bit-Rate Constrained Feedback. [Citation Graph (0, 0)][DBLP ] HSCC, 2006, pp:451-459 [Conf ] José Meseguer , Raman Sharykin Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2006, pp:460-475 [Conf ] Sayan Mitra , Nancy A. Lynch , Daniel Liberzon Verifying Average Dwell Time by Solving Optimization Problems. [Citation Graph (0, 0)][DBLP ] HSCC, 2006, pp:476-490 [Conf ] Alessandro Pinto , Luca P. Carloni , Roberto Passerone , Alberto L. Sangiovanni-Vincentelli Interchange Format for Hybrid Systems: Abstract Semantics. [Citation Graph (0, 0)][DBLP ] HSCC, 2006, pp:491-506 [Conf ] Andreas Podelski , Silke Wagner Model Checking of Hybrid Systems: From Reachability Towards Stability. [Citation Graph (0, 0)][DBLP ] HSCC, 2006, pp:507-521 [Conf ] Ricardo G. Sanfelice , Rafal Goebel , Andrew R. Teel A Feedback Control Motivation for Generalized Solutions to Hybrid Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2006, pp:522-536 [Conf ] Sriram Sankaranarayanan , Henny B. Sipma , Zohar Manna Fixed Point Iteration for Computing the Time Elapse Operator. [Citation Graph (0, 0)][DBLP ] HSCC, 2006, pp:537-551 [Conf ] Issam S. Strub , Alexandre M. Bayen Mixed Initial-Boundary Value Problems for Scalar Conservation Laws: Application to the Modeling of Transportation Networks. [Citation Graph (0, 0)][DBLP ] HSCC, 2006, pp:552-567 [Conf ] Haiyang Zheng , Edward A. Lee , Aaron D. Ames Beyond Zeno: Get on with It! [Citation Graph (0, 0)][DBLP ] HSCC, 2006, pp:568-582 [Conf ]