Conferences in DBLP
Shankar Sastry Networked Embedded Systems: From Sensor Webs to Cyber-Physical Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:1- [Conf ] John A. Stankovic Control Challenges in Wireless Sensor Networks. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:2- [Conf ] Ed Brinksma The Challenges of Embedded Systems Engineering. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:3- [Conf ] Alessandro Abate , Saurabh Amin , Maria Prandini , John Lygeros , Shankar Sastry Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:4-17 [Conf ] Alessandro Arsie , Emilio Frazzoli Groupoids in Control Systems and the Reachability Problem for a Class of Quantized Control Systems with Nonabelian Symmetries. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:18-31 [Conf ] Fabio Bagagiolo Minimum Time for a Hybrid System with Thermostatic Switchings. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:32-45 [Conf ] Andrea Balluchi , Emanuele Mazzi , Alberto L. Sangiovanni-Vincentelli Complexity Reduction for the Design of Interacting Controllers. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:46-60 [Conf ] Grégory Batt , Calin Belta , Ron Weiss Model Checking Genetic Regulatory Networks with Parameter Uncertainty. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:61-75 [Conf ] Spring Berman , Ádám M. Halász , Vijay Kumar MARCO: A Reachability Algorithm for Multi-affine Systems with Applications to Biological Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:76-89 [Conf ] Mikhail Bernadsky , Rajeev Alur Symbolic Analysis for GSMP Models with One Stateful Clock. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:90-103 [Conf ] Lars Blackmore , Askar Bektassov , Masahiro Ono , Brian C. Williams Robust, Optimal Predictive Control of Jump Markov Linear Systems Using Particles. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:104-117 [Conf ] Paolo Bolzern , Patrizio Colaneri , José Claudio Geromel Optimal Switching of 1-DOF Oscillating Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:118-130 [Conf ] Tommaso Cucinotta , Luigi Palopoli Feedback Scheduling for Pipelines of Tasks. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:131-144 [Conf ] Jennifer M. Davoren , Paulo Tabuada On Simulations and Bisimulations of General Flow Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:145-158 [Conf ] Domitilla Del Vecchio A Partial Order Approach to Discrete Dynamic Feedback in a Class of Hybrid Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:159-173 [Conf ] Alexandre Donzé , Oded Maler Systematic Simulation Using Sensitivity Analysis. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:174-189 [Conf ] Magnus Egerstedt , Todd D. Murphey , Jon Ludwig Motion Programs for Puppet Choreography and Control. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:190-202 [Conf ] Georgios E. Fainekos , Antoine Girard , George J. Pappas Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:203-216 [Conf ] Bruno Gaujal , Florence Perronnin Coupling from the Past in Hybrid Models for File Sharing Peer to Peer Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:217-230 [Conf ] Antoine Girard Approximately Bisimilar Finite Abstractions of Stable Linear Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:231-244 [Conf ] Radu Grosu , S. Mitra , P. Ye , E. Entcheva , I. V. Ramakrishnan , Scott A. Smolka Learning Cycle-Linear Hybrid Automata for Excitable Cells. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:245-258 [Conf ] W. P. M. H. Heemels , Siep Weiland , Aleksandar Lj. Juloski Input-to-State Stability of Discontinuous Dynamical Systems with an Observer-Based Control Application. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:259-272 [Conf ] Nicolas Hudson , Joel Burdick A Stochastic Framework for Hybrid System Identification with Application to Neurophysiological Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:273-286 [Conf ] Sumit Kumar Jha , Bruce H. Krogh , James E. Weimer , Edmund M. Clarke Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:287-300 [Conf ] Erik Johannesson , Toivo Henningsson , Anton Cervin Sporadic Control of First-Order Linear Stochastic Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:301-314 [Conf ] A. Jokic , M. Lazar , P. P. J. van den Bosch Price-Based Optimal Control of Power Flow in Electrical Energy Transmission Networks. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:315-328 [Conf ] A. Agung Julius , Georgios E. Fainekos , Madhukar Anand , Insup Lee , George J. Pappas Robust Test Generation and Coverage for Hybrid Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:329-342 [Conf ] Koichi Kobayashi , Jun-ichi Imura Minimalilty of Finite Automata Representation in Hybrid Systems Control. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:343-356 [Conf ] Jesper A. Larsen , Rafael Wisniewski , Roozbeh Izadi-Zamanabadi Hybrid Control and Verification of a Pulsed Welding Process. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:357-370 [Conf ] Michael D. Lemmon , Thidapat Chantem , Xiaobo Sharon Hu , Matthew Zyskowski On Self-triggered Full-Information H-Infinity Controllers. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:371-384 [Conf ] John Lygeros , Marc Quincampoix , Tadeusz Rzezuchowski Impulse Differential Inclusions Driven by Discrete Measures. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:385-398 [Conf ] Federico Mari , Enrico Tronci CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:399-412 [Conf ] John-Michael McNew , Eric Klavins , Magnus Egerstedt Solving Coverage Problems with Embedded Graph Grammars. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:413-427 [Conf ] Ian M. Mitchell Comparing Forward and Backward Reachability as Tools for Safety Analysis. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:428-443 [Conf ] Pablo A. Parrilo , Ali Jadbabaie Approximation of the Joint Spectral Radius of a Set of Matrices Using Sum of Squares. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:444-458 [Conf ] Mihály Petreczky , René Vidal Metrics and Topology for Nonlinear and Hybrid Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:459-472 [Conf ] André Platzer , Edmund M. Clarke The Image Computation Problem in Hybrid Systems Model Checking. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:473-486 [Conf ] Kaushik Roy , Claire Tomlin A New Hybrid State Estimator for Systems with Limited Mode Changes. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:487-500 [Conf ] Guillaume Sandou , Sorin Olaru Ant Colony and Genetic Algorithm for Constrained Predictive Control of Power Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:501-514 [Conf ] Axel Schild , Jan Lunze Stabilization of Limit Cycles of Discretely Controlled Continuous Systems by Controlling Switching Surfaces. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:515-528 [Conf ] Paulo Tabuada Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:529-542 [Conf ] Danielle C. Tarraf , Alexandre Megretski , Munther A. Dahleh Finite State Controllers for Stabilizing Switched Systems with Binary Sensors. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:543-556 [Conf ] Shinya Umeno , Nancy A. Lynch Safety Verification of an Aircraft Landing Protocol: A Refinement Approach. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:557-572 [Conf ] Vladimiro Vacca , Francesco Vasca , Luigi Iannelli Rate Admission Control for Hard Real-Time Task Scheduling. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:573-586 [Conf ] D. A. van Beek , Michel A. Reniers , Ramon R. H. Schiffelers , J. E. Rooda Foundations of a Compositional Interchange Format for Hybrid Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:587-600 [Conf ] Gera Weiss , Rajeev Alur Automata Based Interfaces for Control and Scheduling. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:601-613 [Conf ] Kerim Yunt , Christoph Glocker Modeling and Optimal Control of Hybrid Rigidbody Mechanical Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:614-627 [Conf ] Alessandro Abate , Alessandro D'Innocenzo , Giordano Pola , Maria Domenica Di Benedetto , Shankar Sastry The Concept of Deadlock and Livelock in Hybrid Control Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:628-632 [Conf ] Anil Aswani , Claire Tomlin Reachability Algorithm for Biological Piecewise-Affine Hybrid Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:633-636 [Conf ] Vadim Azhmyakov , Sid Ahmed Attia , Dmitry Gromov , Jörg Raisch Necessary Optimality Conditions for a Class of Hybrid Optimal Control Problems. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:637-640 [Conf ] Dario Bauso Optimal Switches in Multi-inventory Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:641-644 [Conf ] Alexandre M. Bayen , Christian Claudel , Patrick Saint-Pierre Viability-Based Computations of Solutions to the Hamilton-Jacobi-Bellman Equation. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:645-649 [Conf ] Mauro Boccadoro , Paolo Valigi , Yorai Wardi A Method for the Design of Optimal Switching Surfaces for Autonomous Hybrid Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:650-655 [Conf ] Peter E. Caines , Magnus Egerstedt , Roland P. Malhamé , Angela Schöllig A Hybrid Bellman Equation for Bimodal Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:656-659 [Conf ] Marta Capiluppi , Manfred Morari Networks of Hybrid Systems: Connections Faults Modelling and Detection. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:660-663 [Conf ] Daniele Casagrande , Alessandro Astolfi , Thomas Parisini Switching-Based Lyapunov Function and the Stabilization of a Class of Non-holonomic Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:664-667 [Conf ] Alberto Casagrande , Pietro Corvaja , Carla Piazza , Bud Mishra Composing Semi-algebraic O-Minimal Automata. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:668-671 [Conf ] Eva Crück , John Lygeros A Hybrid Model for Subliminal Air Traffic Control. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:672-675 [Conf ] Pieter J. L. Cuijpers On Bicontinuous Bisimulation and the Preservation of Stability. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:676-679 [Conf ] Matthew Daigle , Indranil Roychoudhury , Gautam Biswas , Xenofon Koutsoukos Efficient Simulation of Component-Based Hybrid Models Represented as Hybrid Bond Graphs. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:680-683 [Conf ] Maria Domenica Di Benedetto , Stefano Di Gennaro , Alessandro D'Innocenzo Diagnosability Verification for Hybrid Automata. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:684-687 [Conf ] Etienne Farcot , Jean-Luc Gouzé Piecewise Constant Feedback Control of Piecewise Affine Gene Network Models. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:688-692 [Conf ] Marcello Farina , Maria Prandini Hybrid Models for Gene Regulatory Networks: The Case of lac Operon in E. Coli. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:693-697 [Conf ] Goran Frehse , Oded Maler Reachability Analysis of a Switched Buffer Network. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:698-701 [Conf ] Sumitra Ganesh , Aaron D. Ames , Ruzena Bajcsy Composition of Dynamical Systems for Estimation of Human Body Dynamics. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:702-705 [Conf ] Oleksiy Kurganskyy , Igor Potapov , Fernando Sancho Caparrini Computation in One-Dimensional Piecewise Maps. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:706-709 [Conf ] Pau Martí , Manel Velasco Toward Flexible Scheduling of Real-Time Control Tasks: Reviewing Basic Control Models. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:710-713 [Conf ] Gilles Millerioux , Jamal Daafouz Invertibility and Flatness of Switched Linear Discrete-Time Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:714-717 [Conf ] Sayan Mitra , Nancy A. Lynch Trace-Based Semantics for Probabilistic Timed I/O Automata. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:718-722 [Conf ] Abubakr Muhammad , Ali Jadbabaie Asymptotic Stability of Switched Higher Order Laplacians. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:723-726 [Conf ] M. W. J. M. Musters , H. de Jong , P. P. J. van den Bosch , Natal A. W. van Riel Qualitative Analysis of Nonlinear Biochemical Networks with Piecewise-Affine Functions. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:727-730 [Conf ] Tarik Nahhal , Thao Dang Guided Randomized Simulation. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:731-735 [Conf ] Eva M. Navarro-López , Domingo Cortés Controller Parameters Selection Through Bifurcation Analysis in a Piecewise-Smooth System. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:736-740 [Conf ] Jens Oehlerking , Henning Burchardt , Oliver E. Theel Fully Automated Stability Verification for Piecewise Affine Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:741-745 [Conf ] André Platzer Differential Logic for Reasoning About Hybrid Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:746-749 [Conf ] Andreas Podelski , Silke Wagner A Sound and Complete Proof Rule for Region Stability of Hybrid Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:750-753 [Conf ] Riccardo Porreca , Giancarlo Ferrari-Trecate , Daniela Chieppi , Lalo Magni , Olivier Bernard Switch Detection in Genetic Regulatory Networks. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:754-757 [Conf ] Derek Riley , Xenofon D. Koutsoukos , Kasandra Riley Safety Analysis of Sugar Cataract Development Using Stochastic Hybrid Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:758-761 [Conf ] J. H. Sandee , W. P. M. H. Heemels , P. P. J. van den Bosch Case Studies in Event-Driven Control. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:762-765 [Conf ] Chze Eng Seah , InSeok Hwang Hybrid Estimation for Stochastic Piecewise Linear Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:766-770 [Conf ] Yorai Wardi , Xu Chu Ding , Shun-ichi Azuma On-Line Optimization of Switched-Mode Hybrid Dynamical Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:771-774 [Conf ] Gera Weiss State Nullification of Switched Systems by Linear Output Feedback. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:775-778 [Conf ] Hao Yang , Bin Jiang , Vincent Cocquempot Fault Accommodation for Hybrid Systems with Continuous and Discrete Faults. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:779-782 [Conf ] Darine Zambrano , Winston García-Gabín , Eduardo F. Camacho A Heuristic Predictive Logic Controller Applied to Hybrid Solar Air Conditioning Plant. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:783-786 [Conf ] Michael M. Zavlanos , George J. Pappas Distributed Hybrid Control for Multiple-Pursuer Multiple-Evader Games. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:787-789 [Conf ] Fumin Zhang , Naomi Ehrich Leonard A Controller Design Method Under Infrequent, Asynchronous Sensing. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:790-794 [Conf ]