Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Eva Crück, John Lygeros |
A Hybrid Model for Subliminal Air Traffic Control. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Georgios E. Fainekos, Antoine Girard, George J. Pappas |
Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Abubakr Muhammad, Ali Jadbabaie |
Asymptotic Stability of Switched Higher Order Laplacians. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Maria Domenica Di Benedetto, Stefano Di Gennaro, Alessandro D'Innocenzo |
Diagnosability Verification for Hybrid Automata. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Kerim Yunt, Christoph Glocker |
Modeling and Optimal Control of Hybrid Rigidbody Mechanical Systems. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
Impulsive Optimal Control, Impactive Systems, non-smooth analysis, hybrid, mechanical systems |
1 | Jens Oehlerking, Henning Burchardt, Oliver E. Theel |
Fully Automated Stability Verification for Piecewise Affine Systems. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Abate, Alessandro D'Innocenzo, Giordano Pola, Maria Domenica Di Benedetto, Shankar Sastry 0001 |
The Concept of Deadlock and Livelock in Hybrid Control Systems. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Sayan Mitra, Nancy A. Lynch |
Trace-Based Semantics for Probabilistic Timed I/O Automata. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Gera Weiss, Rajeev Alur |
Automata Based Interfaces for Control and Scheduling. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Pau Martí, Manel Velasco |
Toward Flexible Scheduling of Real-Time Control Tasks: Reviewing Basic Control Models. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Michael M. Zavlanos, George J. Pappas |
Distributed Hybrid Control for Multiple-Pursuer Multiple-Evader Games. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Bagagiolo |
Minimum Time for a Hybrid System with Thermostatic Switchings. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Abate, Saurabh Amin, Maria Prandini, John Lygeros, Shankar Sastry 0001 |
Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Peter E. Caines, Magnus Egerstedt, Roland P. Malhamé, Angela Schöllig |
A Hybrid Bellman Equation for Bimodal Systems. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Magnus Egerstedt, Todd D. Murphey, Jon Ludwig |
Motion Programs for Puppet Choreography and Control. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Marta Capiluppi, Manfred Morari |
Networks of Hybrid Systems: Connections Faults Modelling and Detection. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Mihály Petreczky, René Vidal |
Metrics and Topology for Nonlinear and Hybrid Systems. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Matthew J. Daigle, Indranil Roychoudhury, Gautam Biswas, Xenofon D. Koutsoukos |
Efficient Simulation of Component-Based Hybrid Models Represented as Hybrid Bond Graphs. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Pablo A. Parrilo, Ali Jadbabaie |
Approximation of the Joint Spectral Radius of a Set of Matrices Using Sum of Squares. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Oleksiy Kurganskyy, Igor Potapov, Fernando Sancho-Caparrini |
Computation in One-Dimensional Piecewise Maps. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Antoine Girard |
Approximately Bisimilar Finite Abstractions of Stable Linear Systems. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Eva M. Navarro-López, Domingo Cortés |
Controller Parameters Selection Through Bifurcation Analysis in a Piecewise-Smooth System. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
Discontinuous systems, sliding motions, oilwell drillstrings, dry friction, stick-slip oscillations, bifurcation analysis |
1 | John-Michael McNew, Eric Klavins, Magnus Egerstedt |
Solving Coverage Problems with Embedded Graph Grammars. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Hao Yang 0001, Bin Jiang 0001, Vincent Cocquempot |
Fault Accommodation for Hybrid Systems with Continuous and Discrete Faults. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | D. A. van Beek, Michel A. Reniers, Ramon R. H. Schiffelers, Jacobus E. Rooda |
Foundations of a Compositional Interchange Format for Hybrid Systems. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Erik Johannesson, Toivo Henningsson, Anton Cervin |
Sporadic Control of First-Order Linear Stochastic Systems. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Balluchi, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli |
Complexity Reduction for the Design of Interacting Controllers. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Mauro Boccadoro, Paolo Valigi, Yorai Wardi |
A Method for the Design of Optimal Switching Surfaces for Autonomous Hybrid Systems. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Thao Dang 0001 |
Approximate Reachability Computation for Polynomial Systems. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ioannis A. Fotiou, A. Giovanni Beccuti, Georgios Papafotiou, Manfred Morari |
Optimal Control of Piece-Wise Polynomial Hybrid Systems Using Cylindrical Algebraic Decomposition. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Michael Emmi, Rupak Majumdar |
Decision Problems for the Verification of Real-Time Software. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jun-ichi Imura, Hiromichi Matsushima |
Simultaneous Optimization of Continuous Control Inputs and Discrete State Waypoints. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Bemporad, Stefano Di Cairano, Jorge Júlvez |
Event-Based Model Predictive Control and Verification of Integral Continuous-Time Hybrid Automata. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | José Meseguer 0001, Raman Sharykin |
Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Pinto, Luca P. Carloni, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli |
Interchange Format for Hybrid Systems: Abstract Semantics. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Bicchi, Alessia Marigo, Benedetto Piccoli |
Improving Efficiency of Finite Plans by Optimal Choice of Input Sets. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Sriram Sankaranarayanan 0001, Henny B. Sipma, Zohar Manna |
Fixed Point Iteration for Computing the Time Elapse Operator. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Saurabh Amin, Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry 0001 |
Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Shun-Ichi Azuma, Magnus Egerstedt, Yorai Wardi |
Output-Based Optimal Timing Control of Switched Systems. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Aaron D. Ames, Paulo Tabuada, Shankar Sastry 0001 |
On the Stability of Zeno Equilibria. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | A. Agung Julius |
Approximate Abstraction of Stochastic Hybrid Automata. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Bullo |
Motion Coordination for Multi-agent Networks. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Zhi Han, Bruce H. Krogh |
Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Manindra Agrawal, Frank Stephan 0001, P. S. Thiagarajan, Shaofa Yang |
Behavioural Approximations for Restricted Linear Differential Hybrid Automata. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Marius Kloetzer, Calin Belta |
Reachability Analysis of Multi-affine Systems. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Martin De Wulf, Laurent Doyen 0001, Jean-François Raskin |
A Lattice Theory for Solving Games of Imperfect Information. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Sayan Mitra, Nancy A. Lynch, Daniel Liberzon |
Verifying Average Dwell Time by Solving Optimization Problems. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Podelski, Silke Wagner |
Model Checking of Hybrid Systems: From Reachability Towards Stability. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | P. R. Kumar 0001 |
Towards a Third Generation of Control Systems. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Peter E. Caines, M. Shahid Shaikh |
Optimality Zone Algorithms for Hybrid Systems: Efficient Algorithms for Optimal Location and Control Computation. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Haiyang Zheng, Edward A. Lee, Aaron D. Ames |
Beyond Zeno: Get on with It! |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo G. Sanfelice, Rafal Goebel, Andrew R. Teel |
A Feedback Control Motivation for Generalized Solutions to Hybrid Systems. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | John M. Rushby |
Hybrid Systems - And Everything Else. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Charles Lesire, Catherine Tessier |
Estimation and Conflict Detection in Human Controlled Systems. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | John Lygeros, Xuerong Mao, Chenggui Yuan |
Stochastic Hybrid Delay Population Dynamics. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
Itô’s formula, ultimate boundedness, extinction, Brownian motion |
1 | Yan Gao, John Lygeros, Marc Quincampoix |
The Reachability Problem for Uncertain Hybrid Systems Revisited: A Viability Theory Perspective. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Balluchi, Antonio Bicchi, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli, Gabriele Serra |
Hybrid Modelling and Control of the Common Rail Injection System. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Nuno C. Martins |
Finite Gain lp Stabilization Is Impossible by Bit-Rate Constrained Feedback. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Antoine Girard, Colas Le Guernic, Oded Maler |
Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Issam S. Strub, Alexandre M. Bayen |
Mixed Initial-Boundary Value Problems for Scalar Conservation Laws: Application to the Modeling of Transportation Networks. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
Weak solution of scalar conservation laws, Weak hybrid boundary conditions, LWR PDE, Highway traffic modeling, Boundary control |
1 | Giancarlo Ferrari-Trecate, Magnus Egerstedt, Annalisa Buffa, Meng Ji |
Laplacian Sheep: A Hybrid, Stop-Go Policy for Leader-Based Containment Control. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Xenofon D. Koutsoukos, Derek Riley |
Computational Methods for Reachability Analysis of Stochastic Hybrid Systems. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Liberzon, Dragan Nesic |
Stability Analysis of Hybrid Systems Via Small-Gain Theorems. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Samuel Drulhe, Giancarlo Ferrari-Trecate, Hidde de Jong, Alain Viari |
Reconstruction of Switching Thresholds in Piecewise-Affine Models of Genetic Regulatory Networks. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Marius Kloetzer, Calin Belta |
A Fully Automated Framework for Control of Linear Systems from LTL Specifications. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Fabian Kratz, Oleg Sokolsky, George J. Pappas, Insup Lee 0001 |
R-Charon, a Modeling Language for Reconfigurable Hybrid Systems. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | João P. Hespanha 0001, Ashish Tiwari 0001 (eds.) |
Hybrid Systems: Computation and Control, 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Stefano Di Gennaro |
Observability of Hybrid Automata by Abstraction. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Antoine Girard, George J. Pappas |
Verification Using Simulation. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Chiheb Kossentini, Paul Caspi |
Approximation, Sampling and Voting in Hybrid Computing Systems. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Alur, Mikhail Bernadsky |
Bounded Model Checking for GSMP Models of Stochastic Real-Time Systems. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Paulo Tabuada |
Sensor/Actuator Abstractions for Symbolic Embedded Control Design. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Markus P. J. Fromherz, Lara S. Crawford, Haitham A. Hindi |
Coordinated Control for Highly Reconfigurable Systems. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Bemporad, Stefano Di Cairano |
Optimal Control of Discrete Hybrid Stochastic Automata. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Morari, Lothar Thiele (eds.) |
Hybrid Systems: Computation and Control, 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ian A. Hiskens |
Non-uniqueness in Reverse Time of Hybrid System Trajectories. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Antoine Girard |
Reachability of Uncertain Linear Systems Using Zonotopes. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Grégory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Michel Page, Dominique Schneider |
Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Strubbe, A. J. van der Schaft |
Bisimulation for Communicating Piecewise Deterministic Markov Processes (CPDPs). |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Prajna, Anders Rantzer |
Primal-Dual Tests for Safety and Reachability. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Dominik Niederberger |
Design of Optimal Autonomous Switching Circuits to Suppress Mechanical Vibration. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jean Buisson, Pierre-Yves Richard, Hervé Cormerais |
On the Stabilisation of Switching Electrical Power Converters. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Yi Ma 0001, René Vidal |
Identification of Deterministic Switched ARX Systems via Identification of Algebraic Varieties. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Aaron D. Ames, Shankar Sastry 0001 |
A Homology Theory for Hybrid Systems: Hybrid Homology. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Enric Rodríguez-Carbonell, Ashish Tiwari 0001 |
Generating Polynomial Invariants for Hybrid Systems. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Edward A. Lee, Haiyang Zheng |
Operational Semantics of Hybrid Systems. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Alur, Salvatore La Torre, P. Madhusudan |
Perturbed Timed Automata. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Domitilla Del Vecchio, Richard M. Murray |
Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Order. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Goran Frehse |
PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ansgar Fehnker, Edmund M. Clarke, Sumit Kumar Jha 0001, Bruce H. Krogh |
Refining Abstractions of Hybrid Systems Using Counterexample Fragments. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Rajesh Kumar 0005, Bruce H. Krogh, Peter H. Feiler |
An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
ontology, theorem proving, knowledge base, knowledge integration |
1 | Tejas R. Mehta, Magnus Egerstedt |
Learning Multi-modal Control Programs. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Balluchi, Pierpaolo Murrieri, Alberto L. Sangiovanni-Vincentelli |
Controller Synthesis on Non-uniform and Uncertain Discrete-Time Domains. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Katsunori Nakamura, Akira Fusaoka |
On Transfinite Hybrid Automata. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Mardavij Roozbehani, Eric Feron, Alexandre Megretski |
Modeling, Optimization and Computation for Software Verification. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ian M. Mitchell, Jeremy A. Templeton |
A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Mircea Lazar, W. P. M. H. Heemels, Siep Weiland, Alberto Bemporad, Octavian Pastravanu |
Infinity Norms as Lyapunov Functions for Model Predictive Control of Constrained PWA Systems. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Ratschan, Zhikun She |
Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Robin L. Raffard, Jianghai Hu, Claire J. Tomlin |
Adjoint-Based Optimal Control of the Expected Exit Time for Stochastic Hybrid Systems. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Borrelli, Tamás Keviczky, Gary J. Balas, Greg E. Stewart, Kingsley Fregene, Datta N. Godbole |
Hybrid Decentralized Control of Large Scale Systems. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|