Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | João P. Hespanha 0001 |
Polynomial Stochastic Hybrid Systems. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Sophie Chareyron, Pierre-Brice Wieber |
Position and Force Control of Nonsmooth Lagrangian Dynamical Systems Without Friction. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Manuela-Luminita Bujorianu, John Lygeros, Marius C. Bujorianu |
Bisimulation for General Stochastic Hybrid Systems. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
stochastic hybrid systems, simulation morphism, zigzag morphism, Markov processes, bisimulation, category theory |
1 | Ruggero Lanotte, Simone Tini |
Taylor Approximation for Hybrid Systems. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Babaali, George J. Pappas |
Observability of Switched Linear Systems in Continuous Time. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Roberto Passerone |
Interchange Formats for Hybrid Systems: Review and Proposal. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Geyer, Georgios Papafotiou |
Direct Torque Control for Induction Motor Drives: A Model Predictive Control Approach Based on Feasibility. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Aleksandar Lj. Juloski, W. P. M. H. Heemels, Giancarlo Ferrari-Trecate, René Vidal, Simone Paoletti, J. H. G. Niessen |
Comparison of Four Procedures for the Identification of Hybrid Systems. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Pablo A. Parrilo |
SOS Methods for Semi-algebraic Games and Optimization. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Yan Wang, Zengqi Sun, Fuchun Sun 0001 |
Modeling and Control of Networked Control Systems with Random Delays. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Lecchini, William Glover, John Lygeros, Jan M. Maciejowski |
Air-Traffic Control in Approach Sectors: Simulation Examples and Optimisation. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Sonja Glavaski, Antonis Papachristodoulou, Kartik B. Ariyur |
Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Manindra Agrawal, P. S. Thiagarajan |
The Discrete Time Behavior of Lazy Linear Hybrid Automata. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ouassila Labbani, Jean-Luc Dekeyser, Pierre Boulet |
Mode-Automata Based Methodology for Scade. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Guangming Xie, Long Wang 0001 |
Controllability Implies Stabilizability for Discrete-Time Switched Linear Systems. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Timothy J. Hickey, David K. Wittenberg |
Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Alur, George J. Pappas (eds.) |
Hybrid Systems: Computation and Control, 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Domitilla Del Vecchio, Richard M. Murray |
Discrete State Estimators for a Class of Hybrid Systems on a Lattice. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Christos A. Yfoulis, Robert Shorten |
A Numerical Technique for Stability Analysis of Linear Switched Systems. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Manindra Agrawal, P. S. Thiagarajan |
Lazy Rectangular Hybrid Automata. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Bemporad, Nicolò Giorgetti |
A SAT-Based Hybrid Solver for Optimal Control of Hybrid Systems. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen |
Staying Alive as Cheaply as Possible. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Shreyas Sundaram, Christoforos N. Hadjicostis |
Non-concurrent Error Detection and Correction in Switched Linear Controllers. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Natasha A. Neogi |
Dynamic Partitioning of Large Discrete Event Biological Systems for Hybrid Simulation and Analysis. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Hamsa Balakrishnan, Inseok Hwang 0002, Jung Soon Jang, Claire J. Tomlin |
Inference Methods for Autonomous Stochastic Linear Hybrid Systems. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Babaali, Magnus Egerstedt |
Observability of Switched Linear Systems. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Arkadeb Ghosal, Thomas A. Henzinger, Christoph M. Kirsch, Marco A. A. Sanvido |
Event-Driven Programming with Logical Execution Times. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | João P. Hespanha 0001 |
Stochastic Hybrid Systems: Application to Communication Networks. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Brihaye, Christian Michaux, Cédric Rivière, Christophe Troestler |
On O-Minimal Hybrid Systems. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Prajna, Ali Jadbabaie |
Safety Verification of Hybrid Systems Using Barrier Certificates. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | M. Kanat Camlibel, W. P. M. H. Heemels, Johannes M. Schumacher |
On the Controllability of Bimodal Piecewise Linear Systems. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Xuping Xu, Guisheng Zhai |
On Practical Stability and Stabilization of Hybrid and Switched Systems. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jianghai Hu, Wei Chung Wu, Shankar Sastry 0001 |
Modeling Subtilin Production in Bacillus subtilis Using Stochastic Hybrid Systems. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Amit Bhatia 0001, Emilio Frazzoli |
Incremental Search Methods for Reachability Analysis of Continuous and Hybrid Systems. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Bicchi, Alessia Marigo, Benedetto Piccoli |
Discrete and Hybrid Nonholonomy. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Michal Kvasnica, Pascal Grieder, Mato Baotic, Manfred Morari |
Multi-Parametric Toolbox (MPT). |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Noël Bonneuil, Patrick Saint-Pierre |
The Hybrid Guaranteed Capture Basin Algorithm in Economics. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Dharmashankar Subramanian, Kartik B. Ariyur, Nitin Lamba, Ranjana Deshpande, Sonja Glavaski |
Control Design for a Hybrid Dynamic System: A NASA Life Support System. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Martin De Wulf, Laurent Doyen 0001, Jean-François Raskin |
Almost ASAP Semantics: From Timed Models to Timed Implementations. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Sriram Sankaranarayanan 0001, Henny Sipma, Zohar Manna |
Constructing Invariants for Hybrid Systems. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Fredrik Rosenqvist, Anders Karlström |
Piecewise-Linear Output-Error Methods for Parameter Estimation in Direction-Dependent Processes. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Pieter Collins, Jan H. van Schuppen |
Observability of Piecewise-Affine Hybrid Systems. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ashish Tiwari 0001, Gaurav Khanna 0001 |
Nonlinear Systems: Approximating Reach Sets. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Geyer, Georgios Papafotiou, Manfred Morari |
On the Optimal Control of Switch-Mode DC-DC Converters. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
Hybrid Systems, Model Predictive Control, DC-DC Converters, Power Electronics |
1 | Aaron D. Ames, Shankar Sastry 0001 |
Affine Hybrid Systems. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | A. J. van der Schaft |
Bisimulation of Dynamical Systems. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Lincoln, Ashish Tiwari 0001 |
Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Chenggui Yuan, John Lygeros |
Asymptotic Stability and Boundedness of Delay Switching Diffusions. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
Itô formula, Switching diffusions, Stochastic asymptotic stability, Lyapunov function |
1 | William Glover, John Lygeros |
A Stochastic Hybrid Model for Air Traffic Control Simulation. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | René Sanchez, Roberto Horowitz, Masayoshi Tomizuka, Slobodan N. Simic |
Full Paper Sheet Control Using Hybrid Automata. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Yerang Hur, Jesung Kim, Insup Lee 0001, Jin-Young Choi |
Sound Code Generation from Communicating Hybrid Models. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | William C. Rounds |
A Spatial Logic for the Hybrid p-Calculus. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Balluchi, Federico Di Natale, Alberto L. Sangiovanni-Vincentelli, Jan H. van Schuppen |
Synthesis for Idle Speed Control of an Automotive Engine. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Eugene Asarin, Thao Dang 0001 |
Abstraction by Projection and Application to Multi-affine Systems. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Manuela-Luminita Bujorianu |
Extended Stochastic Hybrid Systems and Their Reachability Problem. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
stochastic hybrid systems, reachability problem, extended automata, Dirichlet forms, Markov processes |
1 | Calin Belta, Peter Finin, Luc C. G. J. M. Habets, Ádám M. Halász, Marcin Imielinski, Vijay Kumar 0001, Harvey Rubin |
Understanding the Bacterial Stringent Response Using Reachability Analysis of Hybrid Systems. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ansgar Fehnker, Franjo Ivancic |
Benchmarks for Hybrid Systems Verification. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jennifer M. Davoren, Vaughan Coulthard, Nicolas Markey, Thomas Moor |
Non-deterministic Temporal Logics for General Flow Systems. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre M. Bayen, Robin L. Raffard, Claire J. Tomlin |
Network Congestion Alleviation Using Adjoint Hybrid Control: Application to Highways. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Vincent D. Blondel, Yurii E. Nesterov, Jacques Theys |
Approximations of the Rate of Growth of Switched Linear Systems. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Leandro G. Barajas, Ashish Kansal, Abhinav Saxena, Magnus Egerstedt, Alex Goldstein, Edward W. Kamen |
Modeling and Control of SMT Manufacturing Lines Using Hybrid Dynamic Systems. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Olaf Stursberg, Bruce H. Krogh |
Efficient Representation and Computation of Reachable Sets for Hybrid Systems. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
Hybrid Dynamic Systems, Hyperrectangles, Model Checking, Singular Value Decomposition, Convex Hull, Polyhedra |
1 | Tobias Geyer, Fabio Danilo Torrisi, Manfred Morari |
Efficient Mode Enumeration of Compositional Hybrid Systems. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Xuping Xu, Panos J. Antsaklis |
Results and Perspectives on Computational Methods for Optimal Control of Switched Systems. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Paulo Tabuada, George J. Pappas |
Model Checking LTL over Controllable Linear Systems Is Decidable. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | William C. Rounds, Hosung Song |
The Phi-Calculus: A Language for Distributed Control of Reconfigurable Embedded Systems. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Rainer Möbus, Mato Baotic, Manfred Morari |
Multi-object Adaptive Cruise Control. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ashish Tiwari 0001 |
Approximate Reachability for Linear Systems. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Richard J. Boulton, Ruth Hardy, Ursula Martin |
A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Nael H. El-Farra, Panagiotis D. Christofides |
Hybrid Control of Parabolic PDEs: Handling Faults of Constrained Control Actuators. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Joël Ouaknine, James Worrell 0001 |
Universality and Language Inclusion for Open and Closed Timed Automata. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Manuela-Luminita Bujorianu, John Lygeros |
Reachability Questions in Piecewise Deterministic Markov Processes. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
Markov processes, Hybrid systems, reachability, hitting times |
1 | Adam Austin, Magnus Egerstedt |
Mode Reconstruction for Source Coding and Multi-modal Control. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Xenofon D. Koutsoukos, James Kurien, Feng Zhao 0001 |
Estimation of Distributed Hybrid Systems Using Particle Filtering Methods. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Subramanian Ramamoorthy, Benjamin Kuipers |
Qualitative Heterogeneous Control of Higher Order Systems. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Luigi Palopoli 0002, Luca Abeni, Giuseppe Lipari |
On the Application of Hybrid Control to CPU Reservations. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ronojoy Ghosh, Ashish Tiwari 0001, Claire J. Tomlin |
Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Sayan Mitra, Yong Wang, Nancy A. Lynch, Eric Feron |
Safety Verification of Model Helicopter Controller Using Hybrid Input/Output Automata. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Yan Gao, John Lygeros, Marc Quincampoix, Nicolas Seube |
Approximate Stabilisation of Uncertain Hybrid Systems. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Bak, Jan Dimon Bendtsen, Anders P. Ravn |
Hybrid Control Design for a Wheeled Mobile Robot. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Guillaume Dumas, Aude Rondepierre |
Modeling the Electrical Activity of a Neuron by a Continuous and Piecewise Affine Hybrid System. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | James Kapinski, Bruce H. Krogh, Oded Maler, Olaf Stursberg |
On Systematic Simulation of Open Continuous Systems. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Michele Minichino, Ester Ciancamerla, Andrea Parisse, Enrico Tronci, Marisa Venturini Zilli |
Automatic Verification of a Turbogas Control System with the Mur varphi Verifier. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | W. P. M. H. Heemels, M. Kanat Camlibel, A. J. van der Schaft, Johannes M. Schumacher |
Modelling, Well-Posedness, Stability of Switched Electrical Networks. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Kwiatkowski, Gerwald Lichtenberg, Axel Schild |
Event Prediction for Switching Linear Systems with Time Varying Thresholds Using Orthogonal Functions. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
Event prediction, switching linear systems, orthogonal functions |
1 | Udi Peless |
Developing Home Robotics Products: Challenges and Lessons Learned. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | M. Shahid Shaikh, Peter E. Caines |
On the Optimal Control of Hybrid Systems: Optimization of Trajectories, Switching Times, Location Schedules. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Eugene Asarin, Thao Dang 0001, Antoine Girard |
Reachability Analysis of Nonlinear Systems Using Conservative Approximation . |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Picasso, Antonio Bicchi |
Stabilization of LTI Systems with Quantized State - Quantized Input Static Feedback. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jie Liu 0001, Edward A. Lee |
On the Causality of Mixed-Signal and Hybrid Models. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Hidde de Jong, Jean-Luc Gouzé, Céline Hernandez, Michel Page, Sari Tewfik, Johannes Geiselmann |
Hybrid Modeling and Simulation of Genetic Regulatory Networks: A Qualitative Approach. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Bemporad, Pandeli Borodani, Massimo Mannelli |
Hybrid Control of an Automotive Robotized Gearbox for Reduction of Consumptions and Emissions. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | David Harel |
A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Alur, Thao Dang 0001, Franjo Ivancic |
Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Giancarlo Ferrari-Trecate, Michael Schinkel |
Conditions of Optimal Classification for Piecewise Affine Regression. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | David Berlinski |
The Mathematics of Matter and the Mathematics of Mind. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | René Vidal, Alessandro Chiuso, Stefano Soatto, Shankar Sastry 0001 |
Observability of Linear Hybrid Systems. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Senesky, Gabriel Eirea, Tak-John Koo |
Hybrid Modelling and Control of Power Electronics. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Bemporad, Andrea Garulli, Simone Paoletti, Antonio Vicino |
A Greedy Approach to Identification of Piecewise Affine Models. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli |
Design of Observers for Hybrid Systems. |
HSCC |
2002 |
DBLP DOI BibTeX RDF |
|