Search results for "HSCC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Aneel Tanwani, Hyungbo Shim, Daniel Liberzon	Observability implies observer design for switched linear systems.	HSCC	2011	DBLP DOI BibTeX RDF
1	Pavithra Prabhakar, Mahesh Viswanathan 0001	A dynamic algorithm for approximate flow computations.	HSCC	2011	DBLP DOI BibTeX RDF
1	Manuela-Luminita Bujorianu, Marius C. Bujorianu	Stochastic non sequitur behavior analysis of fault tolerant hybrid systems.	HSCC	2011	DBLP DOI BibTeX RDF
1	Aaron D. Ames, Ramanarayan Vasudevan, Ruzena Bajcsy	Human-data based cost of bipedal robotic walking.	HSCC	2011	DBLP DOI BibTeX RDF
1	Manuel Robles, Ricardo G. Sanfelice	Hybrid controllers for tracking of impulsive reference state trajectories: a hybrid exosystem approach.	HSCC	2011	DBLP DOI BibTeX RDF
1	Kyoung-Dae Kim, Sayan Mitra, P. R. Kumar 0001	Computing bounded ε-reach set with finite precision computations for a class of linear hybrid automata.	HSCC	2011	DBLP DOI BibTeX RDF
1	Oded Maler	Amir Pnueli and the dawn of hybrid systems.	HSCC	2010	DBLP DOI BibTeX RDF	hybrid systems
1	Sriram Sankaranarayanan 0001	Automatic invariant generation for hybrid systems using ideal fixed points.	HSCC	2010	DBLP DOI BibTeX RDF	verification, hybrid systems, invariants, conservation laws, algebraic geometry
1	Branko Kerkez, Steven D. Glaser, John A. Dracup, Roger C. Bales	A hybrid system model of seasonal snowpack water balance.	HSCC	2010	DBLP DOI BibTeX RDF	snowmelt, hybrid systems, water resources, hydrology
1	Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski	Timed I/O automata: a complete specification theory for real-time systems.	HSCC	2010	DBLP DOI BibTeX RDF	specification theory, timed i/o automata, real-time, interfaces, refinement
1	Andrew B. Godbehere, S. Shankar Sastry	Stabilization of planar switched linear systems using polar coordinates.	HSCC	2010	DBLP DOI BibTeX RDF	stabilizability, switched linear systems
1	Azer Bestavros, Assaf J. Kfoury, Andrei Lapets, Michael J. Ocean	Safe compositional network sketches: formal framework.	HSCC	2010	DBLP DOI BibTeX RDF	modeling, design, verification, typing, compositionality
1	Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray	Receding horizon control for temporal logic specifications.	HSCC	2010	DBLP DOI BibTeX RDF	embedded control software, receding horizon control, linear temporal logic
1	Antoine Girard	Synthesis using approximately bisimilar abstractions: state-feedback controllers for safety specifications.	HSCC	2010	DBLP DOI BibTeX RDF	approximate bisimulation, abstraction, synthesis, safety, hybrid systems, switched systems
1	Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey	Timed automata with observers under energy constraints.	HSCC	2010	DBLP DOI BibTeX RDF	weighted timed automata, energy constraints
1	W. P. M. H. Heemels, Nathan van de Wouw, Rob H. Gielen, M. C. F. Donkers, Laurentiu Hetel, Sorin Olaru, Mircea Lazar, Jamal Daafouz, Silviu-Iulian Niculescu	Comparison of overapproximation methods for stability analysis of networked control systems.	HSCC	2010	DBLP DOI BibTeX RDF	lmi, polytopic systems, stability, communication delays, networked control systems
1	Joris Sijs, Mircea Lazar, W. P. M. H. Heemels	On integration of event-based estimation and robust MPC in a feedback loop.	HSCC	2010	DBLP DOI BibTeX RDF	event-based control, event-based estimation, robust control, predictive control, networked control systems
1	Konstantinos Koutroumpas, John Lygeros	Modeling and verification of stochastic hybrid systems using HIOA: a case study on DNA replication.	HSCC	2010	DBLP DOI BibTeX RDF	hybrid input output automata, sthochastic hybrid systems, verfication, systems biology
1	Kerstin Bauer, Klaus Schneider 0001	From synchronous programs to symbolic representations of hybrid systems.	HSCC	2010	DBLP DOI BibTeX RDF	symbolic representation of transition systems, hybrid systems, synchronous languages
1	P. S. Thiagarajan, Shaofa Yang	Succinct discrete time approximations of distributed hybrid automata.	HSCC	2010	DBLP DOI BibTeX RDF	discrete time approximation, distributed hybrid automata
1	Punyaslok Purkayastha, John S. Baras	Convergence results for ant routing algorithms viastochastic approximation.	HSCC	2010	DBLP DOI BibTeX RDF	ant routing algorithms, stochastic approximations and learning algorithms, queuing networks
1	Humberto González, Ramanarayan Vasudevan, Maryam Kamgarpour, S. Shankar Sastry, Ruzena Bajcsy, Claire J. Tomlin	A descent algorithm for the optimal control of constrained nonlinear switched dynamical systems.	HSCC	2010	DBLP DOI BibTeX RDF	constrained optimal control, switched hybrid systems
1	Anne-Kathrin Hess, Anders Rantzer	Distributed Kalman Filter algorithms for self-localization of mobile devices.	HSCC	2010	DBLP DOI BibTeX RDF	distributed Kalman Filters
1	Saurabh Amin, Xavier Litrico, Shankar Sastry 0001, Alexandre M. Bayen	Stealthy deception attacks on water SCADA systems.	HSCC	2010	DBLP DOI BibTeX RDF	secure control systems, switching pdes, water mangement
1	Paolo Zuliani, André Platzer, Edmund M. Clarke	Bayesian statistical model checking with application to Simulink/Stateflow verification.	HSCC	2010	DBLP DOI BibTeX RDF	bayesian statis tics, statistical model checking, hybrid systems, probabilistic model checking, stochastic systems
1	Eric D. B. Wendel, Aaron D. Ames	Rank properties of poincare maps for hybrid systems with applications to bipedal walking.	HSCC	2010	DBLP DOI BibTeX RDF	periodic orbits, poincare maps, robotic bipedal walking, hybrid systems
1	Mihály Petreczky, Laurent Bako, Jan H. van Schuppen	Identifiability of discrete-time linear switched systems.	HSCC	2010	DBLP DOI BibTeX RDF	linear switched systems, realization theory, structural identifiability, hybrid systems, identifiability
1	Mircea Lazar, Andrej Jokic	On infinity norms as Lyapunov functions for piecewise affine systems.	HSCC	2010	DBLP DOI BibTeX RDF	infinity norms, output feedback, stability, lyapunov methods, piecewise affine systems
1	Prapaporn Rattanatamrong, José A. B. Fortes	Real-time scheduling of mixture-of-experts systems with limited resources.	HSCC	2010	DBLP DOI BibTeX RDF	ensemble computing, prediction, real-time scheduling, sensitivity analysis, adaptive scheduling, mixture of experts
1	Kenji Kashima, Yasuyuki Kawamura, Jun-ichi Imura	Oscillation analysis of linearly coupled piecewise affine systems.	HSCC	2010	DBLP DOI BibTeX RDF	linearly coupled array, systems biology, large scale systems, oscillation, piecewise affine systems
1	Vijay Gupta 0001	On a control algorithm for time-varying processor availability.	HSCC	2010	DBLP DOI BibTeX RDF	control, anytime algorithms
1	Thao Dang 0001, Oded Maler, Romain Testylier	Accurate hybridization of nonlinear systems.	HSCC	2010	DBLP DOI BibTeX RDF	reachability computation, numerical analysis, non-linear systems
1	Federico Ramponi, Debasish Chatterjee, Sean Summers, John Lygeros	On the connections between PCTL and dynamic programming.	HSCC	2010	DBLP DOI BibTeX RDF	pctl, dynamic programming, markov processes, integral equation
1	Florian Kerber, Arjan van der Schaft	Compositional analysis for linear control systems.	HSCC	2010	DBLP DOI BibTeX RDF	linear systems, compositional reasoning, assume-guarantee reasoning, simulation relations
1	Karl Henrik Johansson, Wang Yi 0001 (eds.)	Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2010, Stockholm, Sweden, April 12-15, 2010	HSCC	2010	DBLP BibTeX RDF
1	Truong Nghiem, Sriram Sankaranarayanan 0001, Georgios Fainekos, Franjo Ivancic, Aarti Gupta, George J. Pappas	Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems.	HSCC	2010	DBLP DOI BibTeX RDF	testing, robustness, hybrid systems, metric temporal logic
1	Jianghai Hu, Jinglai Shen, Wei Zhang 0013	A generating function approach to the stability of discrete-time switched linear systems.	HSCC	2010	DBLP DOI BibTeX RDF	switched linear systems, generating functions, exponential stability
1	Jennifer M. Davoren	Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces.	HSCC	2009	DBLP DOI BibTeX RDF
1	Yizhar Or, Aaron D. Ames	Existence of Periodic Orbits with Zeno Behavior in Completed Lagrangian Hybrid Systems.	HSCC	2009	DBLP DOI BibTeX RDF
1	Farn Wang	Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment.	HSCC	2009	DBLP DOI BibTeX RDF	algorithms, model-checking, experiment, timed automata, TCTL, branching bisimulation
1	Xiaofeng Wang 0007, Michael D. Lemmon	Event-Triggering in Distributed Networked Systems with Data Dropouts and Delays.	HSCC	2009	DBLP DOI BibTeX RDF
1	Alessandro Borri, Maria Domenica Di Benedetto, Maria-Gabriella Di Benedetto	Hybrid Modelling, Power Management and Stabilization of Cognitive Radio Networks.	HSCC	2009	DBLP DOI BibTeX RDF
1	Axel Schild, Magnus Egerstedt, Jan Lunze	Orbital Control for a Class of Planar Impulsive Hybrid Systems with Controllable Resets.	HSCC	2009	DBLP DOI BibTeX RDF
1	Wei Zhang 0013, Alessandro Abate, Jianghai Hu	Stabilization of Discrete-Time Switched Linear Systems: A Control-Lyapunov Function Approach.	HSCC	2009	DBLP DOI BibTeX RDF
1	Joris Sijs, Mircea Lazar	On Event Based State Estimation.	HSCC	2009	DBLP DOI BibTeX RDF
1	Gou Nakura	Stochastic Optimal Tracking with Preview for Linear Discrete-Time Markovian Jump Systems (Extended Abstract).	HSCC	2009	DBLP DOI BibTeX RDF	Markovian jump systems, Stochastic optimization theory, Tracking control with preview, Coupled Riccati difference equations, Coupled feedforward compensators
1	Radu Grosu	Finite Automata as Time-Inv Linear Systems Observability, Reachability and More.	HSCC	2009	DBLP DOI BibTeX RDF
1	Aaron D. Ames, Ryan W. Sinnet, Eric D. B. Wendel	Three-Dimensional Kneed Bipedal Walking: A Hybrid Geometric Approach.	HSCC	2009	DBLP DOI BibTeX RDF
1	Eugenio Cinquemani, Andreas Milias-Argeitis, Sean Summers, John Lygeros	Local Identification of Piecewise Deterministic Models of Genetic Networks.	HSCC	2009	DBLP DOI BibTeX RDF	Piecewise deterministic systems, state-space identification, sampled systems, Markov processes, convex optimization
1	Saurabh Amin, Alvaro A. Cárdenas, Shankar Sastry 0001	Safe and Secure Networked Control Systems under Denial-of-Service Attacks.	HSCC	2009	DBLP DOI BibTeX RDF
1	Mircea Lazar, Andrej Jokic	Synthesis of Trajectory-Dependent Control Lyapunov Functions by a Single Linear Program.	HSCC	2009	DBLP DOI BibTeX RDF
1	Nadir Matringe, Arnaldo Vieira Moura, Rachid Rebiha	Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems.	HSCC	2009	DBLP DOI BibTeX RDF
1	Yuichi Tazaki, Jun-ichi Imura	Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer.	HSCC	2009	DBLP DOI BibTeX RDF
1	Gera Weiss, Sebastian Fischmeister, Madhukar Anand, Rajeev Alur	Specification and Analysis of Network Resource Requirements of Control Systems.	HSCC	2009	DBLP DOI BibTeX RDF
1	Alexandre Donzé, Bruce H. Krogh, Akshay Rajhans	Parameter Synthesis for Hybrid Systems with an Application to Simulink Models.	HSCC	2009	DBLP DOI BibTeX RDF
1	Daniele Bernardini 0001, David Muñoz de la Peña, Alberto Bemporad, Emilio Frazzoli	Simultaneous Optimal Control and Discrete Stochastic Sensor Selection.	HSCC	2009	DBLP DOI BibTeX RDF
1	Paul Caspi, Albert Benveniste, Roberto Lublinerman, Stavros Tripakis	Actors without Directors: A Kahnian View of Heterogeneous Systems.	HSCC	2009	DBLP DOI BibTeX RDF
1	Gunther Reißig	Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems.	HSCC	2009	DBLP DOI BibTeX RDF
1	Giulio Ripaccioli, Alberto Bemporad, Francis Assadian, Clement Dextreit, Stefano Di Cairano, Ilya V. Kolmanovsky	Hybrid Modeling, Identification, and Predictive Control: An Application to Hybrid Electric Vehicle Energy Management.	HSCC	2009	DBLP DOI BibTeX RDF	powertrain control, hybrid electric vehicles, piecewise affine system identification, Hybrid systems, model predictive control, piecewise affine systems
1	Daniele Fontanelli, Luigi Palopoli 0002, Roberto Passerone	Convergence of Distributed WSN Algorithms: The Wake-Up Scattering Problem.	HSCC	2009	DBLP DOI BibTeX RDF
1	A. Agung Julius, George J. Pappas	Trajectory Based Verification Using Local Finite-Time Invariance.	HSCC	2009	DBLP DOI BibTeX RDF
1	Rupak Majumdar, Paulo Tabuada (eds.)	Hybrid Systems: Computation and Control, 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings	HSCC	2009	DBLP DOI BibTeX RDF
1	Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan 0001, Geir E. Dullerud	STORMED Hybrid Games.	HSCC	2009	DBLP DOI BibTeX RDF
1	Jorge Cortés 0001	Distributed Wombling by Robotic Sensor Networks.	HSCC	2009	DBLP DOI BibTeX RDF
1	Jens Oehlerking, Oliver E. Theel	Decompositional Construction of Lyapunov Functions for Hybrid Systems.	HSCC	2009	DBLP DOI BibTeX RDF
1	Gang Zheng, Antoine Girard	Bounded and Unbounded Safety Verification Using Bisimulation Metrics.	HSCC	2009	DBLP DOI BibTeX RDF
1	Franck Cassez, Jan Jakob Jessen, Kim Guldstrand Larsen, Jean-François Raskin, Pierre-Alain Reynier	Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study.	HSCC	2009	DBLP DOI BibTeX RDF
1	Patrick Martin 0003, Magnus Egerstedt	Optimization of Multi-agent Motion Programs with Applications to Robotic Marionettes.	HSCC	2009	DBLP DOI BibTeX RDF
1	Falk M. Hante, Günter Leugering	Optimal Boundary Control of Convention-Reaction Transport Systems with Binary Control Functions.	HSCC	2009	DBLP DOI BibTeX RDF
1	Ji-Woong Lee	Uniform Consensus among Self-driven Particles.	HSCC	2009	DBLP DOI BibTeX RDF
1	Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley	Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting.	HSCC	2009	DBLP DOI BibTeX RDF
1	Katsunori Nakamura, Akira Fusaoka	An Analysis of the Fuller Phenomenon on Transfinite Hybrid Automata.	HSCC	2009	DBLP DOI BibTeX RDF
1	Farzin Taringoo, Peter E. Caines	The Sensitivity of Hybrid Systems Optimal Cost Functions with Respect to Switching Manifold Parameters.	HSCC	2009	DBLP DOI BibTeX RDF	Hybrid Control Systems, Switching Manifolds, Optimal Control, Variational Methods
1	Tichakorn Wongpiromsarn, Sayan Mitra, Richard M. Murray, Andrew G. Lamperski	Periodically Controlled Hybrid Systems.	HSCC	2009	DBLP DOI BibTeX RDF
1	Michael Schuresko, Jorge Cortés 0001	Distributed Tree Rearrangements for Reachability and Robust Connectivity.	HSCC	2009	DBLP DOI BibTeX RDF
1	M. C. F. Donkers, Laurentiu Hetel, W. P. M. H. Heemels, Nathan van de Wouw, Maarten Steinbuch	Stability Analysis of Networked Control Systems Using a Switched Linear Systems Approach.	HSCC	2009	DBLP DOI BibTeX RDF
1	Behzad Akbarpour, Lawrence C. Paulson	Applications of MetiTarski in the Verification of Control and Hybrid Systems.	HSCC	2009	DBLP DOI BibTeX RDF
1	Pau Martí, Manel Velasco, Enrico Bini	The Optimal Boundary and Regulator Design Problem for Event-Driven Controllers.	HSCC	2009	DBLP DOI BibTeX RDF
1	Mihály Petreczky, René Vidal	Realization Theory for Discrete-Time Semi-algebraic Hybrid Systems.	HSCC	2008	DBLP DOI BibTeX RDF
1	Alexandre Rodrigues Mesquita, João P. Hespanha 0001, Karl Åström 0001	Optimotaxis: A Stochastic Multi-agent Optimization Procedure with Point Measurements.	HSCC	2008	DBLP DOI BibTeX RDF
1	Yoav Sharon, Daniel Liberzon	Input-to-State Stabilization with Quantized Output Feedback.	HSCC	2008	DBLP DOI BibTeX RDF
1	Ji-Woong Lee	Separation in Stability Analysis of Piecewise Linear Systems in Discrete Time.	HSCC	2008	DBLP DOI BibTeX RDF
1	Yuichi Tazaki, Jun-ichi Imura	Bisimilar Finite Abstractions of Interconnected Systems.	HSCC	2008	DBLP DOI BibTeX RDF
1	Andrew G. Lamperski, Aaron D. Ames	Sufficient Conditions for Zeno Behavior in Lagrangian Hybrid Systems.	HSCC	2008	DBLP DOI BibTeX RDF
1	Manel Velasco, Pau Martí, Camilo Lozoya	On the Timing of Discrete Events in Event-Driven Control Systems.	HSCC	2008	DBLP DOI BibTeX RDF
1	Fabio Pasqualetti, Simone Martini 0002, Antonio Bicchi	Steering a Leader-Follower Team Via Linear Consensus.	HSCC	2008	DBLP DOI BibTeX RDF
1	Martin Fränzle, Holger Hermanns, Tino Teige	Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems.	HSCC	2008	DBLP DOI BibTeX RDF
1	Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry 0001	Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps.	HSCC	2008	DBLP DOI BibTeX RDF
1	Ashish Tiwari 0001	Generating Box Invariants.	HSCC	2008	DBLP DOI BibTeX RDF
1	Goran Frehse, Sumit Kumar Jha 0001, Bruce H. Krogh	A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata.	HSCC	2008	DBLP DOI BibTeX RDF
1	Luca Benvenuti, Alberto Ferrari, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli	Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System.	HSCC	2008	DBLP DOI BibTeX RDF
1	Alessandro Abate, Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Shankar Sastry 0001	Markov Set-Chains as Abstractions of Stochastic Hybrid Systems.	HSCC	2008	DBLP DOI BibTeX RDF
1	W. P. M. H. Heemels, M. Kanat Camlibel, Bernard Brogliato, Johannes M. Schumacher	Observer-Based Control of Linear Complementarity Systems.	HSCC	2008	DBLP DOI BibTeX RDF
1	Sumit Kumar Jha 0001	d-IRA: A Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata.	HSCC	2008	DBLP DOI BibTeX RDF
1	Laurent Bako, René Vidal	Algebraic Identification of MIMO SARX Models.	HSCC	2008	DBLP DOI BibTeX RDF
1	Sriram Sankaranarayanan 0001, Thao Dang 0001, Franjo Ivancic	A Policy Iteration Technique for Time Elapse over Template Polyhedra.	HSCC	2008	DBLP DOI BibTeX RDF
1	Andrej Jokic, Mircea Lazar, P. P. J. van den Bosch	Complementarity Systems in Constrained Steady-State Optimal Control.	HSCC	2008	DBLP DOI BibTeX RDF
1	YoungMin Kwon, Gul Agha	LTLC: Linear Temporal Logic for Control.	HSCC	2008	DBLP DOI BibTeX RDF
1	Ahmad T. Al-Hammouri, Michael S. Branicky, Vincenzo Liberatore	Co-simulation Tools for Networked Control Systems.	HSCC	2008	DBLP DOI BibTeX RDF
1	Lorenzo Sella, Pieter Collins	Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata.	HSCC	2008	DBLP DOI BibTeX RDF	van der Pol equation, hybrid automata, interval computation, symbolic dynamics

Publications at "HSCC"( http://dblp.L3S.de/Venues/HSCC )