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