Search results for "HSCC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Thao Dang, Ian M. Mitchell (eds.)	Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012	HSCC	2012	DBLP BibTeX RDF
1	Sriram Sankaranarayanan, Georgios E. Fainekos	Falsification of temporal properties of hybrid systems using the cross-entropy method.	HSCC	2012	DBLP DOI BibTeX RDF
1	Feng Zhu, Han Yu, Michael J. McCourt, Panos J. Antsaklis	Passivity and stability of switched systems under quantization.	HSCC	2012	DBLP DOI BibTeX RDF
1	Pavithra Prabhakar, Geir E. Dullerud, Mahesh Viswanathan	Pre-orders for reasoning about stability.	HSCC	2012	DBLP DOI BibTeX RDF
1	Zhenqi Huang, Sayan Mitra	Computing bounded reach sets from sampled simulation traces.	HSCC	2012	DBLP DOI BibTeX RDF
1	Alessandro Colombo, Domitilla Del Vecchio	Efficient algorithms for collision avoidance at intersections.	HSCC	2012	DBLP DOI BibTeX RDF
1	Alessandro Borri, Giordano Pola, Maria Domenica Di Benedetto	A symbolic approach to the design of nonlinear networked control systems.	HSCC	2012	DBLP DOI BibTeX RDF
1	Vamsi Kalyan Putta, Guangwei Zhu, Jianghai Hu, Jinglai Shen	Efficient computation of generalized input-to-state ℒ2-gains of discrete-time switched linear systems.	HSCC	2012	DBLP DOI BibTeX RDF
1	Akshay Rajhans, Bruce H. Krogh	Heterogeneous verification of cyber-physical systems using behavior relations.	HSCC	2012	DBLP DOI BibTeX RDF
1	Zhikun She, Bai Xue	Algebraic analysis on asymptotic stability of switched hybrid systems.	HSCC	2012	DBLP DOI BibTeX RDF
1	Peter Schrammel, Bertrand Jeannet	From hybrid data-flow languages to hybrid automata: a complete translation.	HSCC	2012	DBLP DOI BibTeX RDF
1	Emeka Eyisi, Jia Bai, Derek Riley, Jiannian Weng, Yan Wei, Yuan Xue, Xenofon D. Koutsoukos, Janos Sztipanovits	NCSWT: an integrated modeling and simulation tool for networked control systems.	HSCC	2012	DBLP DOI BibTeX RDF
1	Anil Aswani, Jerry Ding, Haomiao Huang, Michael P. Vitus, Jeremy H. Gillula, Patrick Bouffard, Claire Tomlin	Verification and control of hybrid systems using reachability analysis with machine learning.	HSCC	2012	DBLP DOI BibTeX RDF
1	Matthias Althoff, Bruce H. Krogh	Avoiding geometric intersection operations in reachability analysis of hybrid systems.	HSCC	2012	DBLP DOI BibTeX RDF
1	Massimo Benerecetti, Marco Faella, Stefano Minopoli	Reachability games for linear hybrid systems.	HSCC	2012	DBLP DOI BibTeX RDF
1	Ilya Tkachev, Alessandro Abate	Regularization of bellman equations for infinite-horizon probabilistic properties.	HSCC	2012	DBLP DOI BibTeX RDF
1	Heath LeBlanc, Xenofon D. Koutsoukos	Low complexity resilient consensus in networked multi-agent systems with adversaries.	HSCC	2012	DBLP DOI BibTeX RDF
1	Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura	Transcendental inductive invariants generation for non-linear differential and hybrid systems.	HSCC	2012	DBLP DOI BibTeX RDF
1	Alessandro D'Innocenzo, Alessandro Abate, Joost-Pieter Katoen	Robust PCTL model checking.	HSCC	2012	DBLP DOI BibTeX RDF
1	Aaron D. Ames, Eric A. Cousineau, Matthew J. Powell	Dynamically stable bipedal robotic walking with NAO via human-inspired hybrid zero dynamics.	HSCC	2012	DBLP DOI BibTeX RDF
1	Lichun Li, Xiaofeng Wang, Michael D. Lemmon	Stabilizing bit-rates in quantized event triggered control systems.	HSCC	2012	DBLP DOI BibTeX RDF
1	Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre	Verification of linear duration properties over continuous-time markov chains.	HSCC	2012	DBLP DOI BibTeX RDF
1	Shahab Kaynama, John Maidens, Meeko Oishi, Ian M. Mitchell, Guy A. Dumont	Computing the viability kernel using maximal reachable sets.	HSCC	2012	DBLP DOI BibTeX RDF
1	Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate	Probabilistic invariance of mixed deterministic-stochastic dynamical systems.	HSCC	2012	DBLP DOI BibTeX RDF
1	Linar Mikeev, Verena Wolf	Parameter estimation for stochastic hybrid models of biochemical reaction networks.	HSCC	2012	DBLP DOI BibTeX RDF
1	Parasara Sridhar Duggirala, Sayan Mitra	Lyapunov abstractions for inevitability of hybrid systems.	HSCC	2012	DBLP DOI BibTeX RDF
1	Paolo Zuliani, Christel Baier, Edmund M. Clarke	Rare-event verification for stochastic hybrid systems.	HSCC	2012	DBLP DOI BibTeX RDF
1	Rajeev Alur, Ashutosh Trivedi, Dominik Wojtczak	Optimal scheduling for constant-rate multi-mode systems.	HSCC	2012	DBLP DOI BibTeX RDF
1	Calin Belta	Formal methods for dynamical systems.	HSCC	2012	DBLP DOI BibTeX RDF
1	Christoffer Sloth, George J. Pappas, Rafael Wisniewski	Compositional safety analysis using barrier certificates.	HSCC	2012	DBLP DOI BibTeX RDF
1	Ufuk Topcu, Necmiye Ozay, Jun Liu, Richard M. Murray	On synthesizing robust discrete controllers under modeling uncertainty.	HSCC	2012	DBLP DOI BibTeX RDF
1	Pierre Roux, Romain Jobredeaux, Pierre-Loïc Garoche, Eric Feron	A generic ellipsoid abstract domain for linear time invariant systems.	HSCC	2012	DBLP DOI BibTeX RDF
1	Ebru Aydin Gol, Mircea Lazar, Calin Belta	Language-guided controller synthesis for discrete-time linear systems.	HSCC	2012	DBLP DOI BibTeX RDF
1	Pavithra Prabhakar, Mahesh Viswanathan	A dynamic algorithm for approximate flow computations.	HSCC	2011	DBLP DOI BibTeX RDF
1	Martin Fränzle, Ernst Moritz Hahn, Holger Hermanns, Nicolás Wolovick, Lijun Zhang	Measurability and safety verification for stochastic hybrid systems.	HSCC	2011	DBLP DOI BibTeX RDF
1	Maksim Lapin, Linar Mikeev, Verena Wolf	SHAVE: stochastic hybrid analysis of markov population models.	HSCC	2011	DBLP DOI BibTeX RDF
1	André Platzer	Quantified differential invariants.	HSCC	2011	DBLP DOI BibTeX RDF
1	Alessandro Abate, Joost-Pieter Katoen, Alexandru Mereacre	Quantitative automata model checking of autonomous stochastic hybrid systems.	HSCC	2011	DBLP DOI BibTeX RDF
1	Thao Dang, Romain Testylier	Hybridization domain construction using curvature estimation.	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	Manuela L. Bujorianu, Marius C. Bujorianu	Stochastic non sequitur behavior analysis of fault tolerant hybrid systems.	HSCC	2011	DBLP DOI BibTeX RDF
1	Michael D. Lemmon, Xiaobo Sharon Hu	Almost sure stability of networked control systems under exponentially bounded bursts of dropouts.	HSCC	2011	DBLP DOI BibTeX RDF
1	Pritam Roy, Paulo Tabuada, Rupak Majumdar	Pessoa 2.0: a controller synthesis tool for cyber-physical systems.	HSCC	2011	DBLP DOI BibTeX RDF
1	Tichakorn Wongpiromsarn, Ufuk Topcu, Necmiye Ozay, Huan Xu, Richard M. Murray	TuLiP: a software toolbox for receding horizon temporal logic planning.	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	Constantin Florin Caruntu, Andreea Elena Balau, Mircea Lazar, Paul van den Bosch, Stefano Di Cairano	A predictive control solution for driveline oscillations damping.	HSCC	2011	DBLP DOI BibTeX RDF
1	Rupak Majumdar, Elaine Render, Paulo Tabuada	Robust discrete synthesis against unspecified disturbances.	HSCC	2011	DBLP DOI BibTeX RDF
1	Ian M. Mitchell	Scalable calculation of reach sets and tubes for nonlinear systems with terminal integrators: a mixed implicit explicit formulation.	HSCC	2011	DBLP DOI BibTeX RDF
1	Tomás Brázdil, Jan Krcál, Jan Kretínský, Antonín Kucera, Vojtech Rehák	Measuring performance of continuous-time stochastic processes using timed automata.	HSCC	2011	DBLP DOI BibTeX RDF
1	Kathrin Flaßkamp, Sina Ober-Blöbaum	Variational formulation and optimal control of hybrid lagrangian systems.	HSCC	2011	DBLP DOI BibTeX RDF
1	Marco Caccamo, Emilio Frazzoli, Radu Grosu (eds.)	Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011	HSCC	2011	DBLP BibTeX RDF
1	Shreyas Sundaram, Jian Chang, Krishna K. Venkatasubramanian, Chinwendu Enyioha, Insup Lee, George J. Pappas	Reputation-based networked control with data-corrupting channels.	HSCC	2011	DBLP DOI BibTeX RDF
1	Marc Geilen, Stavros Tripakis, Maarten Wiggers	The earlier the better: a theory of timed actor interfaces.	HSCC	2011	DBLP DOI BibTeX RDF
1	Krishnendu Chatterjee, Vinayak S. Prabhu	Synthesis of memory-efficient "real-time" controllers for safety objectives.	HSCC	2011	DBLP DOI BibTeX RDF
1	Matthias Althoff, Colas Le Guernic, Bruce H. Krogh	Reachable set computation for uncertain time-varying linear systems.	HSCC	2011	DBLP DOI BibTeX RDF
1	Aaron D. Ames	Characterizing knee-bounce in bipedal robotic walking: a zeno behavior approach.	HSCC	2011	DBLP DOI BibTeX RDF
1	Kyoung-Dae Kim, Sayan Mitra, P. R. Kumar	Computing bounded ε-reach set with finite precision computations for a class of linear hybrid automata.	HSCC	2011	DBLP DOI BibTeX RDF
1	George J. Pappas	Wireless control networks: modeling, synthesis, robustness, security.	HSCC	2011	DBLP DOI BibTeX RDF
1	Sriram Sankaranarayanan	Automatic abstraction of non-linear systems using change of bases transformations.	HSCC	2011	DBLP DOI BibTeX RDF
1	Amir Ali Ahmadi, Raphaël M. Jungers, Pablo A. Parrilo, Mardavij Roozbehani	Analysis of the joint spectral radius via Lyapunov functions on path-complete graphs.	HSCC	2011	DBLP DOI BibTeX RDF
1	Aneel Tanwani, Hyungbo Shim, Daniel Liberzon	Observability implies observer design for switched linear systems.	HSCC	2011	DBLP DOI BibTeX RDF
1	Werner Damm, Carsten Ihlemann, Viorica Sofronie-Stokkermans	Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata.	HSCC	2011	DBLP DOI BibTeX RDF
1	Sean Summers, Maryam Kamgarpour, John Lygeros, Claire Tomlin	A stochastic reach-avoid problem with random obstacles.	HSCC	2011	DBLP DOI BibTeX RDF
1	Ji-Woong Lee, Geir E. Dullerud	Joint synthesis of switching and feedback for linear systems in discrete time.	HSCC	2011	DBLP DOI BibTeX RDF
1	Javier Cámara, Antoine Girard, Gregor Gößler	Synthesis of switching controllers using approximately bisimilar multiscale abstractions.	HSCC	2011	DBLP DOI BibTeX RDF
1	Karthik Manamcheri, Sayan Mitra, Stanley Bak, Marco Caccamo	A step towards verification and synthesis from simulink/stateflow models.	HSCC	2011	DBLP DOI BibTeX RDF
1	Tomas Tuma, Aggeliki Pantazi, John Lygeros, Abu Sebastian	Impulsive control for nanopositioning: stability and performance.	HSCC	2011	DBLP DOI BibTeX RDF
1	Heath LeBlanc, Xenofon D. Koutsoukos	Consensus in networked multi-agent systems with adversaries.	HSCC	2011	DBLP DOI BibTeX RDF
1	Matthew Travers, Todd D. Murphey, Lucy Y. Pao	Impulsive data association with an unknown number of targets.	HSCC	2011	DBLP DOI BibTeX RDF
1	Jerome Le Ny, Eric Feron, George J. Pappas	Resource constrained LQR control under fast sampling.	HSCC	2011	DBLP DOI BibTeX RDF
1	Truong Nghiem, Sriram Sankaranarayanan, Georgios E. 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	Sriram Sankaranarayanan	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	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	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	Thao Dang, Oded Maler, Romain Testylier	Accurate hybridization of nonlinear systems.	HSCC	2010	DBLP DOI BibTeX RDF	reachability computation, numerical analysis, non-linear 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	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	Kerstin Bauer, Klaus Schneider	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	Karl Henrik Johansson, Wang Yi (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	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	Vijay Gupta	On a control algorithm for time-varying processor availability.	HSCC	2010	DBLP DOI BibTeX RDF	control, anytime algorithms
1	Saurabh Amin, Xavier Litrico, Shankar Sastry, Alexandre M. Bayen	Stealthy deception attacks on water SCADA systems.	HSCC	2010	DBLP DOI BibTeX RDF	secure control systems, switching pdes, water mangement
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	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	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	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	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	Andrew B. Godbehere, Shankar S. Sastry	Stabilization of planar switched linear systems using polar coordinates.	HSCC	2010	DBLP DOI BibTeX RDF	stabilizability, switched linear 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	Humberto González, Ramanarayan Vasudevan, Maryam Kamgarpour, Shankar S. 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	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	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	Oded Maler	Amir Pnueli and the dawn of hybrid systems.	HSCC	2010	DBLP DOI BibTeX RDF	hybrid systems
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	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	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	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	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	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

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