The SCEAS System
Navigation Menu

Conferences in DBLP

Hybrid Systems (hybrid)
2007 (conf/hybrid/2007)

  1. Shankar Sastry
    Networked Embedded Systems: From Sensor Webs to Cyber-Physical Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:1- [Conf]
  2. John A. Stankovic
    Control Challenges in Wireless Sensor Networks. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:2- [Conf]
  3. Ed Brinksma
    The Challenges of Embedded Systems Engineering. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:3- [Conf]
  4. 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]
  5. 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]
  6. Fabio Bagagiolo
    Minimum Time for a Hybrid System with Thermostatic Switchings. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:32-45 [Conf]
  7. 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]
  8. 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]
  9. 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]
  10. Mikhail Bernadsky, Rajeev Alur
    Symbolic Analysis for GSMP Models with One Stateful Clock. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:90-103 [Conf]
  11. 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]
  12. 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]
  13. Tommaso Cucinotta, Luigi Palopoli
    Feedback Scheduling for Pipelines of Tasks. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:131-144 [Conf]
  14. Jennifer M. Davoren, Paulo Tabuada
    On Simulations and Bisimulations of General Flow Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:145-158 [Conf]
  15. 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]
  16. Alexandre Donzé, Oded Maler
    Systematic Simulation Using Sensitivity Analysis. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:174-189 [Conf]
  17. 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]
  18. 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]
  19. 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]
  20. Antoine Girard
    Approximately Bisimilar Finite Abstractions of Stable Linear Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:231-244 [Conf]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. John Lygeros, Marc Quincampoix, Tadeusz Rzezuchowski
    Impulse Differential Inclusions Driven by Discrete Measures. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:385-398 [Conf]
  32. 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]
  33. 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]
  34. Ian M. Mitchell
    Comparing Forward and Backward Reachability as Tools for Safety Analysis. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:428-443 [Conf]
  35. 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]
  36. Mihály Petreczky, René Vidal
    Metrics and Topology for Nonlinear and Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:459-472 [Conf]
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. Paulo Tabuada
    Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:529-542 [Conf]
  42. 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]
  43. 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]
  44. 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]
  45. 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]
  46. Gera Weiss, Rajeev Alur
    Automata Based Interfaces for Control and Scheduling. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:601-613 [Conf]
  47. Kerim Yunt, Christoph Glocker
    Modeling and Optimal Control of Hybrid Rigidbody Mechanical Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:614-627 [Conf]
  48. 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]
  49. Anil Aswani, Claire Tomlin
    Reachability Algorithm for Biological Piecewise-Affine Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:633-636 [Conf]
  50. 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]
  51. Dario Bauso
    Optimal Switches in Multi-inventory Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:641-644 [Conf]
  52. 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]
  53. 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]
  54. 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]
  55. Marta Capiluppi, Manfred Morari
    Networks of Hybrid Systems: Connections Faults Modelling and Detection. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:660-663 [Conf]
  56. 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]
  57. 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]
  58. Eva Crück, John Lygeros
    A Hybrid Model for Subliminal Air Traffic Control. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:672-675 [Conf]
  59. Pieter J. L. Cuijpers
    On Bicontinuous Bisimulation and the Preservation of Stability. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:676-679 [Conf]
  60. 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]
  61. 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]
  62. 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]
  63. 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]
  64. Goran Frehse, Oded Maler
    Reachability Analysis of a Switched Buffer Network. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:698-701 [Conf]
  65. 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]
  66. Oleksiy Kurganskyy, Igor Potapov, Fernando Sancho Caparrini
    Computation in One-Dimensional Piecewise Maps. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:706-709 [Conf]
  67. 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]
  68. Gilles Millerioux, Jamal Daafouz
    Invertibility and Flatness of Switched Linear Discrete-Time Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:714-717 [Conf]
  69. 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]
  70. Abubakr Muhammad, Ali Jadbabaie
    Asymptotic Stability of Switched Higher Order Laplacians. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:723-726 [Conf]
  71. 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]
  72. Tarik Nahhal, Thao Dang
    Guided Randomized Simulation. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:731-735 [Conf]
  73. 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]
  74. 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]
  75. André Platzer
    Differential Logic for Reasoning About Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:746-749 [Conf]
  76. 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]
  77. 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]
  78. 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]
  79. 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]
  80. Chze Eng Seah, InSeok Hwang
    Hybrid Estimation for Stochastic Piecewise Linear Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:766-770 [Conf]
  81. 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]
  82. Gera Weiss
    State Nullification of Switched Systems by Linear Output Feedback. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:775-778 [Conf]
  83. 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]
  84. 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]
  85. 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]
  86. Fumin Zhang, Naomi Ehrich Leonard
    A Controller Design Method Under Infrequent, Asynchronous Sensing. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:790-794 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002