NDLI: Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (HSCC '17)

Please wait, while we are loading the content...

Forward Inner-Approximated Reachability of Non-Linear Continuous Systems

Forward Stochastic Reachability Analysis for Uncontrolled Linear Systems using Fourier Transforms

Optimal Data Rate for State Estimation of Switched Nonlinear Systems

Robust Abstractions for Control Synthesis: Completeness via Robustness for Linear-Time Properties

Convex and Combinatorial Optimization for Dynamic Robots in the Real World

Coupling Policy Iterations with Piecewise Quadratic Lyapunov Functions

Dynamic Periodic Event-Triggered Control for Linear Systems

A Small Gain Theorem for Parametric Assume-Guarantee Contracts

Piecewise - Differentiable Trajectory Outcomes in Mechanical Systems Subject to Unilateral Constraints

On the Polytope Escape Problem for Continuous Linear Dynamical Systems

Controller Synthesis for Reward Collecting Markov Processes in Continuous Space

Path-Complete Graphs and Common Lyapunov Functions

Formal Synthesis of Stabilizing Controllers for Switched Systems

Robust Model Checking of Timed Automata under Clock Drifts

On a Class of Maximal Invariance Inducing Control Strategies for Large Collections of Switched Systems

Relaxed Decidability and the Robust Semantics of Metric Temporal Logic

Structural Analysis of Multi-Mode DAE Systems

SMC: Satisfiability Modulo Convex Optimization

Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision

Invariance Feedback Entropy of Nondeterministic Control Systems

Convex Interpolation Control with Formal Guarantees for Disturbed and Constrained Nonlinear Systems

Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters

Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants

Sampling-based Approximate Optimal Control Under Temporal Logic Constraints

Bipedal Robotic Running with DURUS-2D: Bridging the Gap between Theory and Experiment

Sapo: Reachability Computation and Parameter Synthesis of Polynomial Dynamical Systems

Statistical Verification of the Toyota Powertrain Control Verification Benchmark

Scheduling of Embedded Controllers Under Timing Contracts

HyLAA: A Tool for Computing Simulation-Equivalent Reachability for Linear Systems

Abnormal Data Classification Using Time-Frequency Temporal Logic

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (HSCC '17)

Content Provider	ACM Digital Library
Editor	Platzer, André Gao, Sicun Saha, Indranil Mitra, Sayan Prabhakar, Pavithra Ozay, Necmiye Frehse, Goran Girard, Antoine Liu, Jun
Copyright Year	2017
Abstract	Welcome to the proceedings of the 20th ACM International Conference on Hybrid Systems: Computation and Control (HSCC'17), held in Pittsburgh, Pennsylvania. HSCC is the premier research conference on foundations of Cyber-Physical Systems. It covers design, analysis, control synthesis techniques and their applications in various domains such as autonomous vehicles, robotics, mixed signal circuits, infrastructure networks, as well as in biochemical models that demonstrate hybrid behavior. HSCC'17 is held as part of the 10th Cyber Physical Systems Week (CPS Week'17), and located with the International Conference on Cyber-Physical Systems (ICCPS), the International Conference on Information Processing in Sensor Networks (IPSN), the Real-Time and Embedded Technology and Applications Symposium (RTAS), the International Conference on Internet-ofthings: Design and Implementation (IOTDI), and several CPSWeek Workshops. There were 76 submissions to HSCC 2017---a number that is comparable to recent HSCCs held in the United States. 25 regular papers and 4 tool and case study papers were accepted for inclusion in the conference program. The overall acceptance rate for the conference is 38%; for regular papers the acceptance rate is 39%. More information about previous editions of HSCC can be found at http://www.hscc-conference.org. This year we introduced a light version of double blind reviewing to improve the quality and integrity of the review process. The process is time-tested in other conferences like SIGCOMM, PLDI, and CAV. The policies and process were disseminated in the HSCC 2017 website (http://hscc2017.ece.illinois.edu) as well as in the Calls For Papers. Author's names were omitted from submissions and authors had to cite their own papers in the third person. Fifty Program Committee (PC) members and their sub-reviewers provided at least 4 reviews for each of the anonymized submissions. The reviews were sent to authors for a 5-day rebuttal period. For the rebuttal, author identities were disclosed to the reviewers, and optional auxiliary material from the authors (proofs etc.) were made available to the PC. The final decisions were made after two weeks of vigorous on-line discussions amongst the PC members. Most of the technical program committee members provided excellent, in-depth reviews. We checked that all reviews provided the appropriate level of detail, gave actionable feedback to authors, and struck the right tone. In addition, reviewers were directed to read and respond to author responses, and a summary of the on-line discussions was included to provide feedback to the authors. In addition to the papers appearing in the proceedings, HSCC demos and posters were presented at the joint CPSWeek Poster and Demo session. The Demo and Poster session for HSCC was chaired by Akshay Rajhans. Since 2014, HSCC features a Repeatability Evaluation (RE) process, which draws upon several similar efforts at other conferences (SIGMOD, SAS, CAV, ECOOP, OOPSLA, all of them having an emphasis on "artifacts"). Re-creation of computational elements presented in research papers is challenging because details of the implementation are unavoidably absent in the paper. The goal of the HSCC RE process is to improve the reproducibility of computational results in the papers selected for the conference. The effort was led by Sergiy Bogomolov, aided by an RE Committee of 21 researchers, providing at least 3 evaluations to each of the 14 submitted RE packages. The papers that have passed the RE process are highlighted in the proceedings with an RE stamp on their first page. HSCC 2017 features three awards: a best student paper award, a best poster/demo award, and a best RE award. These awards have been administered by the Awards Committee, headed by Ricardo Sanfelice. A significant highlight of HSCC 2017 is the 20th Anniversary Invited Talk by Russ Tedrake of MIT, in addition to several CPSWeek'17 plenary talks.
ISBN	9781450345903
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2017-04-13
Access Restriction	Subscribed
Content Type	Text
Resource Type	Conference Proceedings

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in