Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Nacim Ramdani, Nacim Meslem, Yves Candau |
Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Axel Schild, Jan Lunze |
Switching Surface Design for Periodically Operated Discretely Controlled Continuous Systems. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Matthew J. Daigle, Xenofon D. Koutsoukos, Gautam Biswas |
An Integrated Approach to Parametric and Discrete Fault Diagnosis in Hybrid Systems. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Di Cairano, Mircea Lazar, Alberto Bemporad, W. P. M. H. Heemels |
A Control Lyapunov Approach to Predictive Control of Hybrid Systems. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger |
Controller Synthesis with Budget Constraints. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Li Pu, Jinchun Hu, Badong Chen |
Information Theoretical Approach to Identification of Hybrid Systems. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Marius Kloetzer, Calin Belta |
Dealing with Nondeterminism in Symbolic Control. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ian M. Mitchell, Yoshihiko Susuki |
Level Set Methods for Computing Reachable Sets of Hybrid Systems with Differential Algebraic Equation Dynamics. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Wenqi Zhang, Herbert G. Tanner |
Composition of Motion Description Languages. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Vadim Azhmyakov, Sid Ahmed Attia, Jörg Raisch |
On the Maximum Principle for Impulsive Hybrid Systems. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
impulsive hybrid control systems, necessary conditions of optimality, optimal control, Maximum principle |
1 | Flavio Lerda, James Kapinski, Edmund M. Clarke, Bruce H. Krogh |
Verification of Supervisory Control Software Using State Proximity and Merging. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Wei Zhang 0013, Jianghai Hu |
On Optimal Quadratic Regulation for Discrete-Time Switched Linear Systems. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Magnus Egerstedt, Bud Mishra (eds.) |
Hybrid Systems: Computation and Control, 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu |
Trading Infinite Memory for Uniform Randomness in Timed Games. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Manuela-Luminita Bujorianu, John Lygeros, Rom Langerak |
Reachability Analysis of Stochastic Hybrid Systems by Optimal Control. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
Stochastic hybrid systems, reachability problem, Markov processes, optimal stopping |
1 | Mardavij Roozbehani, Alexandre Megretski, Emilio Frazzoli, Eric Feron |
Distributed Lyapunov Functions in Analysis of Graph Models of Software. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Radu Grosu, Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Scott A. Smolka, Anita Wasilewska |
Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Pieter J. L. Cuijpers, Michel A. Reniers |
Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Tournier, Jean-Luc Gouzé |
Qualitative Stability Patterns for Lotka-Volterra Systems on Rectangles. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Antoine Girard, Giordano Pola, Paulo Tabuada |
Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan 0001, Geir E. Dullerud |
A Decidable Class of Planar Linear Hybrid Systems. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Xiaofeng Wang 0007, Michael D. Lemmon |
Decentralized Event-Triggered Broadcasts over Networked Control Systems. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Gou Nakura |
Noncausal Optimal Tracking of Linear Switched Systems. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
GSLQ problems, Noncausal tracking theory, Optimal control, Switched systems, Riccati equations |
1 | Milad Niqui, Olga Tveretina |
Modular Development of Hybrid Systems for Verification in Coq. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Renato Vázquez, Antonio Ramírez-Treviño, Laura Recalde, Manuel Silva Suárez |
On Controllability of Timed Continuous Petri Nets. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Daniele Fontanelli, Luca Greco 0003, Antonio Bicchi |
Anytime Control Algorithms for Embedded Real-Time Systems. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Di Cairano, Karl Henrik Johansson, Alberto Bemporad, Richard M. Murray |
Discrete and Hybrid Stochastic State Estimation Algorithms for Networked Control Systems. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Boyan Yordanov, Calin Belta |
Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
Formal Verification, Piecewise Affine Systems |
1 | Christian G. Claudel, Alexandre M. Bayen |
Solutions to Switched Hamilton-Jacobi Equations and Conservation Laws Using Hybrid Components. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Amit Bhatia 0001, Emilio Frazzoli |
Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Antoine Girard, Colas Le Guernic |
Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Fabien Lauer, Gérard Bloch |
Switched and PieceWise Nonlinear Hybrid System Identification. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Clemens Moser, Lothar Thiele, Davide Brunelli, Luca Benini |
Approximate Control Design for Solar Driven Sensor Nodes. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Hemant Kowshik, Derek Caveney, P. R. Kumar 0001 |
Safety and Liveness in Intelligent Intersections. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Tingting Han 0001, Joost-Pieter Katoen, Alexandru Mereacre |
Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | André Platzer, Jan-David Quesel |
Logical Verification and Systematic Parametric Analysis in Train Control. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
logic for hybrid systems, symbolic decomposition, parametric verification |
1 | Kerim Yunt |
Necessary Conditions for the Impulsive Time-Optimal Control of Finite-Dimensional Lagrangian Systems. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
Impulsive Optimal Control, Impactive Systems, non-smooth analysis, hybrid, variational inequalities |
1 | Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley |
Modeling and Simulation of Biochemical Processes Using Stochastic Hybrid Systems: The Sugar Cataract Development Process. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Yoshiyuki Tsuchie, Toshimitsu Ushio |
Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicates. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo G. Sanfelice, Emilio Frazzoli |
On the Optimality of Dubins Paths across Heterogeneous Terrain. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Saurabh Amin, Falk M. Hante, Alexandre M. Bayen |
On Stability of Switched Linear Hyperbolic Conservation Laws with Reflecting Boundaries. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Anil Aswani, Claire J. Tomlin |
Reachability Algorithm for Biological Piecewise-Affine Hybrid Systems. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jennifer M. Davoren, Paulo Tabuada |
On Simulations and Bisimulations of General Flow Systems. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | André Platzer |
Differential Logic for Reasoning About Hybrid Systems. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
hybrid systems, dynamic logic, parametric verification |
1 | John A. Stankovic |
Control Challenges in Wireless Sensor Networks. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Shinya Umeno, Nancy A. Lynch |
Safety Verification of an Aircraft Landing Protocol: A Refinement Approach. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Donzé, Oded Maler |
Systematic Simulation Using Sensitivity Analysis. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Chze Eng Seah, Inseok Hwang 0002 |
Hybrid Estimation for Stochastic Piecewise Linear Systems. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Marcello Farina, Maria Prandini |
Hybrid Models for Gene Regulatory Networks: The Case of lac Operon in E. Coli. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Danielle C. Tarraf, Alexandre Megretski, Munther A. Dahleh |
Finite State Controllers for Stabilizing Switched Systems with Binary Sensors. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ed Brinksma |
The Challenges of Embedded Systems Engineering. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Spring Berman, Ádám M. Halász, Vijay Kumar 0001 |
MARCO: A Reachability Algorithm for Multi-affine Systems with Applications to Biological Systems. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | W. P. M. H. Heemels, Siep Weiland, Aleksandar Lj. Juloski |
Input-to-State Stability of Discontinuous Dynamical Systems with an Observer-Based Control Application. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Federico Mari, Enrico Tronci |
CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Andrej Jokic, Mircea Lazar, P. P. J. van den Bosch |
Price-Based Optimal Control of Power Flow in Electrical Energy Transmission Networks. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Gera Weiss |
State Nullification of Switched Systems by Linear Output Feedback. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley |
Safety Analysis of Sugar Cataract Development Using Stochastic Hybrid Systems. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Radu Grosu, Sayan Mitra, Pei Ye, Emilia Entcheva, I. V. Ramakrishnan, Scott A. Smolka |
Learning Cycle-Linear Hybrid Automata for Excitable Cells. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ian M. Mitchell |
Comparing Forward and Backward Reachability as Tools for Safety Analysis. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Etienne Farcot, Jean-Luc Gouzé |
Piecewise Constant Feedback Control of Piecewise Affine Gene Network Models. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Hudson, Joel W. Burdick |
A Stochastic Framework for Hybrid System Identification with Application to Neurophysiological Systems. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Sumit Kumar Jha 0001, Bruce H. Krogh, James E. Weimer, Edmund M. Clarke |
Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Grégory Batt, Calin Belta, Ron Weiss |
Model Checking Genetic Regulatory Networks with Parameter Uncertainty. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Axel Schild, Jan Lunze |
Stabilization of Limit Cycles of Discretely Controlled Continuous Systems by Controlling Switching Surfaces. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Bolzern, Patrizio Colaneri, José Claudio Geromel |
Optimal Switching of 1-DOF Oscillating Systems. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Michael D. Lemmon, Thidapat Chantem, Xiaobo Sharon Hu, Matthew Zyskowski |
On Self-triggered Full-Information H-Infinity Controllers. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Yorai Wardi, Xu Chu Ding, Shun-Ichi Azuma |
On-Line Optimization of Switched-Mode Hybrid Dynamical Systems. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Bemporad, Antonio Bicchi, Giorgio C. Buttazzo (eds.) |
Hybrid Systems: Computation and Control, 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Kaushik Roy 0007, Claire J. Tomlin |
A New Hybrid State Estimator for Systems with Limited Mode Changes. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
hybrid state estimation, hybrid systems, Monte Carlo |
1 | Darine Zambrano, Winston García-Gabín, Eduardo F. Camacho 0001 |
A Heuristic Predictive Logic Controller Applied to Hybrid Solar Air Conditioning Plant. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Fumin Zhang 0001, Naomi Ehrich Leonard |
A Controller Design Method Under Infrequent, Asynchronous Sensing. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | J. H. Sandee, W. P. M. H. Heemels, P. P. J. van den Bosch |
Case Studies in Event-Driven Control. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Podelski, Silke Wagner |
A Sound and Complete Proof Rule for Region Stability of Hybrid Systems. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Sumitra Ganesh, Aaron D. Ames, Ruzena Bajcsy |
Composition of Dynamical Systems for Estimation of Human Body Dynamics. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jesper A. Larsen, Rafael Wisniewski, Roozbeh Izadi-Zamanabadi |
Hybrid Control and Verification of a Pulsed Welding Process. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Lars Blackmore, Askar Bektassov, Masahiro Ono, Brian C. Williams |
Robust, Optimal Predictive Control of Jump Markov Linear Systems Using Particles. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Casagrande, Pietro Corvaja, Carla Piazza, Bud Mishra |
Composing Semi-algebraic O-Minimal Automata. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Vladimiro Vacca, Francesco Vasca, Luigi Iannelli |
Rate Admission Control for Hard Real-Time Task Scheduling. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Vadim Azhmyakov, Sid Ahmed Attia, Dmitry Gromov, Jörg Raisch |
Necessary Optimality Conditions for a Class of Hybrid Optimal Control Problems. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Tommaso Cucinotta, Luigi Palopoli 0002 |
Feedback Scheduling for Pipelines of Tasks. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | André Platzer, Edmund M. Clarke |
The Image Computation Problem in Hybrid Systems Model Checking. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
model checking, hybrid systems, image computation |
1 | A. Agung Julius, Georgios E. Fainekos, Madhukar Anand, Insup Lee 0001, George J. Pappas |
Robust Test Generation and Coverage for Hybrid Systems. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Dario Bauso |
Optimal Switches in Multi-inventory Systems. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Daniele Casagrande, Alessandro Astolfi, Thomas Parisini |
Switching-Based Lyapunov Function and the Stabilization of a Class of Non-holonomic Systems. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Tarik Nahhal, Thao Dang 0001 |
Guided Randomized Simulation. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Mikhail Bernadsky, Rajeev Alur |
Symbolic Analysis for GSMP Models with One Stateful Clock. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Sandou, Sorin Olaru |
Ant Colony and Genetic Algorithm for Constrained Predictive Control of Power Systems. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Shankar Sastry 0001 |
Networked Embedded Systems: From Sensor Webs to Cyber-Physical Systems. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Domitilla Del Vecchio |
A Partial Order Approach to Discrete Dynamic Feedback in a Class of Hybrid Systems. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Paulo Tabuada |
Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Pieter J. L. Cuijpers |
On Bicontinuous Bisimulation and the Preservation of Stability. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Riccardo Porreca, Giancarlo Ferrari-Trecate, Daniela Chieppi, Lalo Magni, Olivier Bernard 0003 |
Switch Detection in Genetic Regulatory Networks. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Millerioux, Jamal Daafouz |
Invertibility and Flatness of Switched Linear Discrete-Time Systems. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Gaujal, Florence Perronnin |
Coupling from the Past in Hybrid Models for File Sharing Peer to Peer Systems. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Koichi Kobayashi, Jun-ichi Imura |
Minimalilty of Finite Automata Representation in Hybrid Systems Control. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Goran Frehse, Oded Maler |
Reachability Analysis of a Switched Buffer Network. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre M. Bayen, Christian G. Claudel, Patrick Saint-Pierre |
Viability-Based Computations of Solutions to the Hamilton-Jacobi-Bellman Equation. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | John Lygeros, Marc Quincampoix, Tadeusz Rzezuchowski |
Impulse Differential Inclusions Driven by Discrete Measures. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Arsie, Emilio Frazzoli |
Groupoids in Control Systems and the Reachability Problem for a Class of Quantized Control Systems with Nonabelian Symmetries. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|