NDLI: Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control (HSCC '12)

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

Verification and control of hybrid systems using reachability analysis with machine learning

Formal methods for dynamical systems

Compositional safety analysis using barrier certificates

Avoiding geometric intersection operations in reachability analysis of hybrid systems

Optimal scheduling for constant-rate multi-mode systems

A generic ellipsoid abstract domain for linear time invariant systems

Dynamically stable bipedal robotic walking with NAO via human-inspired hybrid zero dynamics

Efficient computation of generalized input-to-state $ℒ_{2}-gains$ of discrete-time switched linear systems

Probabilistic invariance of mixed deterministic-stochastic dynamical systems

Passivity and stability of switched systems under quantization

Verification of linear duration properties over continuous-time markov chains

NCSWT: an integrated modeling and simulation tool for networked control systems

Low complexity resilient consensus in networked multi-agent systems with adversaries

Transcendental inductive invariants generation for non-linear differential and hybrid systems

Computing the viability kernel using maximal reachable sets

On synthesizing robust discrete controllers under modeling uncertainty

Lyapunov abstractions for inevitability of hybrid systems

Efficient algorithms for collision avoidance at intersections

Algebraic analysis on asymptotic stability of switched hybrid systems

Rare-event verification for stochastic hybrid systems

Stabilizing bit-rates in quantized event triggered control systems

Robust PCTL model checking

Computing bounded reach sets from sampled simulation traces

Heterogeneous verification of cyber-physical systems using behavior relations

Reachability games for linear hybrid systems

Language-guided controller synthesis for discrete-time linear systems

Falsification of temporal properties of hybrid systems using the cross-entropy method

Parameter estimation for stochastic hybrid models of biochemical reaction networks

Pre-orders for reasoning about stability

Regularization of bellman equations for infinite-horizon probabilistic properties

A symbolic approach to the design of nonlinear networked control systems

From hybrid data-flow languages to hybrid automata: a complete translation

Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control (HSCC '12)

Content Provider	ACM Digital Library
Editor	Mitchell, Ian M. Dang, Thao
Copyright Year	2012
Abstract	It is our great pleasure to welcome you to the 15th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2012), held in Beijing, April 17--19, 2012. This year's conference continues its tradition of being the premier forum for presentation of theoretical, computational, and practical research results on leading edge issues involving the interplay between discrete and continuous dynamic behaviors in embedded, reactive, and cyber-physical systems. The mission of the conference is to share information on the latest advancements in the design, analysis, control, verification, optimization, implementation and applications of hybrid systems. Previous editions of HSCC were held in Berkeley (1998), Nijmegen (1999), Pittsburgh (2000), Rome (2001), Palo Alto (2002), Prague (2003), Philadelphia (2004), Zurich (2005), Santa Barbara (2006), Pisa (2007), St. Louis (2008), San Francisco (2009), Stockholm (2010), and Chicago (2011). HSCC 2012 takes place under the umbrella of the 5th Cyber-Physical Systems Week (CPSWeek), which is a collocated cluster of five conferences: HSCC, 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 Application Symposium (RTAS), and the brand new International Conference on High Confidence Networked Systems (HiCoNS). Through CPSWeek, the five conferences will share three joint plenary speakers (including long-time HSCC contributor Claire Tomlin from UC Berkeley), a poster and demo session, several pre-conference workshops and tutorials, and joint social events. The HSCC call for papers attracted submissions---46 regular papers and 3 tool papers---from North and South America, Asia, and Europe. Each paper received 3-6 reviews from PC members and external reviewers. New this year was an author response period: the reviews (including scores and comments) were sent to the authors by email, and the authors were given nine days to respond to questions or factual errors in the reviews in 1000 words or less of plain text. After taking these responses into account during an in-depth PC discussion, 28 regular papers and 2 tool papers were selected for the final program. Based on a survey of authors and PC members conducted after decisions were announced, the author response period was a successful experiment and we hope to see it repeated in future years. As we write this welcome message, a select group of submissions has been nominated for a new HSCC best paper award and honorable mentions, all to be announced at the conference. Also new this year is an HSCC invited talk (in addition to the CPSWeek plenaries). We are delighted to have Calin Belta from Boston University giving the first in what we hope is an annual lecture series.
ISBN	9781450312202
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2012-04-17
Access Restriction	Subscribed
Content Type	Text
Resource Type	Conference Proceedings

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

Proceedings of the 13th ACM international conference on Hybrid systems: computation and control (HSCC '10)

Proceedings of the 16th international conference on Hybrid systems: computation and control (HSCC '13)

Proceedings of the 14th international conference on Hybrid systems: computation and control (HSCC '11)

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

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

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

Proceedings of the 18th International Conference on Hybrid Systems (HSCC '15)

Proceedings of the 15th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems (MSWiM '12)

Proceedings of the 15th ACM on International conference on multimodal interaction (ICMI '13)

Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control (HSCC '12)

Similar Documents

Proceedings of the 13th ACM international conference on Hybrid systems: computation and control (HSCC '10)

Proceedings of the 16th international conference on Hybrid systems: computation and control (HSCC '13)

Proceedings of the 14th international conference on Hybrid systems: computation and control (HSCC '11)

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

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

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

Proceedings of the 18th International Conference on Hybrid Systems (HSCC '15)

Proceedings of the 15th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems (MSWiM '12)

Proceedings of the 15th ACM on International conference on multimodal interaction (ICMI '13)

Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control (HSCC '12)