Matches in SemOpenAlex for { <https://semopenalex.org/work/W2914897674> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W2914897674 abstract "It is our great pleasure to welcome you to the proceedings of the 19th International Conference on Hybrid Systems: Computation and (HSCC 2016) held in Vienna, Austria, on April 12-14th 2016. HSCC has long been the leading, single-track conference on foundations, techniques, and tools for analysis, verification, control, synthesis, optimization, implementation, and applications of dynamical systems that exhibit continuous and discrete (hybrid) dynamics. Applications at HSCC deal broadly with Cyber-Physical Systems (CPS), and include (but are not limited to) robotics, mixed signal circuits, largescale infrastructure networks, as well as natural systems such as biochemical and physiological models.HSCC 2016 is held as part of the 8th Cyber Physical Systems Week (CPS Week), alongside 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), and additional CPS-related workshops. Previous editions of the HSCC conferences have been held as a single event since 1998, and in conjunction with CPS Week since 2009. Information on the HSCC conference series can be found at http://www.hscc-conference.orgForty-five Program Committee members have helped to provide at least 4 reviews for each of the 65 submitted contributions. Continuing the tradition of HSCC started in 2012, a 7-day rebuttal period has been offered to the authors in order to respond to the comments of the reviewers. Based on the PC discussions following the author rebuttal, 28 high-quality articles have been accepted, to be presented during the thirty-minute single-track sessions at the conference. These contributions appear as full papers in the proceedings. Furthermore, 4 tool and case study articles appear as short papers in the proceedings. The short papers are presented alongside other contributions during the joint CPS Week Poster and Demo session. The Demo and Poster session for HSCC 2016 has been organized by Dr. Jim Kapinski. The overall acceptance rate for the conference was 49%, while specifically for the regular papers the acceptance rate was 47%.We have decided to strongly promote the 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), and which follows a first experimental run during HSCC 2014. HSCC has a rich history of publishing strong papers emphasizing computational contributions. However, subsequent re-creation of these computational elements is often 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. Prof. Ian Mitchell has led the effort, aided by an RE Committee of 21 junior researchers, providing on average 3 evaluations to each of the 18 submitted RE packages. This year, 14 papers have passed the RE process and they have been recognized in the proceedings by printing an RE stamp on their first page (for further information please see the report below).The contributions have been bundled in eight thematic single-track sessions, ranging over the following themes: temporal logic applications; analysis of switched systems; safety and stability analysis; methods for reachability analysis; time- and event-based models; control synthesis; models with uncertainty; reachability computation. Furthermore, one session hosts poster and demo (tool papers or RE packages) contributions, as well as the case study papers.A highlight of HSCC 2016 has been the presence of a high-profile invited speaker, Prof. Sandra Hirche from TU Munich, giving a lecture on the topic of Optimal Co-Design of Scheduling and Control for Networked Systems. Furthermore, CPS Week has featured plenary talks by two distinguished academic speakers, Prof. Rajeev Alur (University of Pennsylvania) and Prof. Tomaso Poggio (MIT), and from an industrial panel discussion on CPS. The distinguished panelists have been: Ken Butts, Toyota, USA; Rada Rodriguez, Schneider Electric, Germany; Joe Salvo, GE Global Research, USA; Sabine Herlitschka, Infineon, Austria.HSCC 2016 features three awards: a best student paper award; a best poster/demo award; and a best RE award. These awards have been administered by a selection of colleagues from the PC. Further details on HSCC 2016 are featured on the website: http://www.cs.ox.ac.uk/conferences/hscc2016" @default.
- W2914897674 created "2019-02-21" @default.
- W2914897674 creator A5058732387 @default.
- W2914897674 creator A5091718585 @default.
- W2914897674 date "2016-04-11" @default.
- W2914897674 modified "2023-09-23" @default.
- W2914897674 title "Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control" @default.
- W2914897674 hasPublicationYear "2016" @default.
- W2914897674 type Work @default.
- W2914897674 sameAs 2914897674 @default.
- W2914897674 citedByCount "0" @default.
- W2914897674 crossrefType "proceedings-article" @default.
- W2914897674 hasAuthorship W2914897674A5058732387 @default.
- W2914897674 hasAuthorship W2914897674A5091718585 @default.
- W2914897674 hasConcept C127413603 @default.
- W2914897674 hasConcept C154945302 @default.
- W2914897674 hasConcept C17744445 @default.
- W2914897674 hasConcept C199539241 @default.
- W2914897674 hasConcept C2775924081 @default.
- W2914897674 hasConcept C2777310092 @default.
- W2914897674 hasConcept C41008148 @default.
- W2914897674 hasConcept C42475967 @default.
- W2914897674 hasConcept C76155785 @default.
- W2914897674 hasConceptScore W2914897674C127413603 @default.
- W2914897674 hasConceptScore W2914897674C154945302 @default.
- W2914897674 hasConceptScore W2914897674C17744445 @default.
- W2914897674 hasConceptScore W2914897674C199539241 @default.
- W2914897674 hasConceptScore W2914897674C2775924081 @default.
- W2914897674 hasConceptScore W2914897674C2777310092 @default.
- W2914897674 hasConceptScore W2914897674C41008148 @default.
- W2914897674 hasConceptScore W2914897674C42475967 @default.
- W2914897674 hasConceptScore W2914897674C76155785 @default.
- W2914897674 hasLocation W29148976741 @default.
- W2914897674 hasOpenAccess W2914897674 @default.
- W2914897674 hasPrimaryLocation W29148976741 @default.
- W2914897674 hasRelatedWork W110647133 @default.
- W2914897674 hasRelatedWork W119106661 @default.
- W2914897674 hasRelatedWork W1500858206 @default.
- W2914897674 hasRelatedWork W196673614 @default.
- W2914897674 hasRelatedWork W1999528346 @default.
- W2914897674 hasRelatedWork W2012458928 @default.
- W2914897674 hasRelatedWork W2265874621 @default.
- W2914897674 hasRelatedWork W26063680 @default.
- W2914897674 hasRelatedWork W2911654869 @default.
- W2914897674 hasRelatedWork W2912953153 @default.
- W2914897674 hasRelatedWork W2913648311 @default.
- W2914897674 hasRelatedWork W2913751056 @default.
- W2914897674 hasRelatedWork W2913763934 @default.
- W2914897674 hasRelatedWork W2914139572 @default.
- W2914897674 hasRelatedWork W2914332658 @default.
- W2914897674 hasRelatedWork W2914928817 @default.
- W2914897674 hasRelatedWork W3015134475 @default.
- W2914897674 hasRelatedWork W3147467600 @default.
- W2914897674 hasRelatedWork W93420754 @default.
- W2914897674 hasRelatedWork W1532542708 @default.
- W2914897674 isParatext "false" @default.
- W2914897674 isRetracted "false" @default.
- W2914897674 magId "2914897674" @default.
- W2914897674 workType "article" @default.