Proceedings of the 17th international conference on Hybrid systems: computation and control - HSCC '14
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450327329

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An LQ sub-optimal stabilizing feedback law for switched linear systems

Proceedings of the 17th international conference on Hybrid systems: computation and control - HSCC '14 ◽

10.1145/2562059.2562121 ◽

2014 ◽

Cited By ~ 3

Author(s):

Pierre Riedinger ◽

Jean-Claude Vivalda

Keyword(s):

Linear Systems ◽

Switched Linear Systems

Download Full-text

A bounded model checking tool for periodic sample-hold systems

Proceedings of the 17th international conference on Hybrid systems: computation and control - HSCC '14 ◽

10.1145/2562059.2562134 ◽

2014 ◽

Cited By ~ 8

Author(s):

Gabor Simko ◽

Ethan K. Jackson

Keyword(s):

Model Checking ◽

Bounded Model Checking

Download Full-text

Session details: Stability and control

Proceedings of the 17th international conference on Hybrid systems: computation and control - HSCC '14 ◽

10.1145/3260891 ◽

2014 ◽

Author(s):

Mircea Lazar

Keyword(s):

Stability And Control ◽

And Control

Download Full-text

Temporal logic inference for classification and prediction from data

Proceedings of the 17th international conference on Hybrid systems: computation and control - HSCC '14 ◽

10.1145/2562059.2562146 ◽

2014 ◽

Cited By ~ 48

Author(s):

Zhaodan Kong ◽

Austin Jones ◽

Ana Medina Ayala ◽

Ebru Aydin Gol ◽

Calin Belta

Keyword(s):

Temporal Logic ◽

Logic Inference

Download Full-text

Dynamic multi-domain bipedal walking with atrias through SLIP based human-inspired control

Proceedings of the 17th international conference on Hybrid systems: computation and control - HSCC '14 ◽

10.1145/2562059.2562143 ◽

2014 ◽

Cited By ~ 27

Author(s):

Ayonga Hereid ◽

Shishir Kolathaya ◽

Mikhail S. Jones ◽

Johnathan Van Why ◽

Jonathan W. Hurst ◽

...

Keyword(s):

Bipedal Walking

Download Full-text

Simulation-guided lyapunov analysis for hybrid dynamical systems

Proceedings of the 17th international conference on Hybrid systems: computation and control - HSCC '14 ◽

10.1145/2562059.2562139 ◽

2014 ◽

Cited By ~ 48

Author(s):

James Kapinski ◽

Jyotirmoy V. Deshmukh ◽

Sriram Sankaranarayanan ◽

Nikos Arechiga

Keyword(s):

Dynamical Systems ◽

Hybrid Dynamical Systems ◽

Lyapunov Analysis

Download Full-text

Sampling-based approximation of the viability kernel for high-dimensional linear sampled-data systems

Proceedings of the 17th international conference on Hybrid systems: computation and control - HSCC '14 ◽

10.1145/2562059.2562117 ◽

2014 ◽

Cited By ~ 12

Author(s):

Jeremy H. Gillula ◽

Shahab Kaynama ◽

Claire J. Tomlin

Keyword(s):

High Dimensional ◽

Data Systems ◽

Sampled Data ◽

Viability Kernel

Download Full-text

Session details: Tool and case study presentations

Proceedings of the 17th international conference on Hybrid systems: computation and control - HSCC '14 ◽

10.1145/3260893 ◽

2014 ◽

Author(s):

Austin Jones

Download Full-text

Stochastic reachability based motion planning for multiple moving obstacle avoidance

Proceedings of the 17th international conference on Hybrid systems: computation and control - HSCC '14 ◽

10.1145/2562059.2562127 ◽

2014 ◽

Cited By ~ 18

Author(s):

Nick Malone ◽

Kendra Lesser ◽

Meeko Oishi ◽

Lydia Tapia

Keyword(s):

Motion Planning ◽

Obstacle Avoidance ◽

Moving Obstacle

Download Full-text

Powertrain control verification benchmark

Proceedings of the 17th international conference on Hybrid systems: computation and control - HSCC '14 ◽

10.1145/2562059.2562140 ◽

2014 ◽

Cited By ~ 57

Author(s):

Xiaoqing Jin ◽

Jyotirmoy V. Deshmukh ◽

James Kapinski ◽

Koichi Ueda ◽

Ken Butts

Keyword(s):

Powertrain Control

Download Full-text

Proceedings of the 17th international conference on Hybrid systems: computation and control - HSCC '14Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

An LQ sub-optimal stabilizing feedback law for switched linear systems

A bounded model checking tool for periodic sample-hold systems

Session details: Stability and control

Temporal logic inference for classification and prediction from data

Dynamic multi-domain bipedal walking with atrias through SLIP based human-inspired control

Simulation-guided lyapunov analysis for hybrid dynamical systems

Sampling-based approximation of the viability kernel for high-dimensional linear sampled-data systems

Session details: Tool and case study presentations

Stochastic reachability based motion planning for multiple moving obstacle avoidance

Powertrain control verification benchmark

Proceedings of the 17th international conference on Hybrid systems: computation and control - HSCC '14
Latest Publications