Table of Contents

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