default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInternational Conference on Hybrid Systems: Computation and Control (HSCC)
Hybrid Systems Workshop
27th HSCC 2024: Hong Kong SAR, China
- Erika Ábrahám, Manuel Mazo Jr.:
Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, Hong Kong SAR, China, May 14-16, 2024. ACM 2024 [contents]
26th HSCC 2023: San Antonio, TX, USA
- Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2023, San Antonio, TX, USA, May 9-12, 2023. ACM 2023 [contents]
25th HSCC 2022: Milan, Italy
- Ezio Bartocci, Sylvie Putot:
HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022. ACM 2022, ISBN 978-1-4503-9196-2 [contents]
24th HSCC 2021: Nashville, TN, USA
- Sergiy Bogomolov, Raphaël M. Jungers:
HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021. ACM 2021, ISBN 978-1-4503-8339-4 [contents]
23rd HSCC 2020: Sydney, NSW, Australia
- Aaron D. Ames, Sanjit A. Seshia, Jyotirmoy Deshmukh:
HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020. ACM 2020, ISBN 978-1-4503-7018-9 [contents]
22nd HSCC 2019: Montreal, QC, Canada
- Necmiye Ozay, Pavithra Prabhakar:
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019. ACM 2019, ISBN 978-1-4503-6282-5 [contents]
21st HSCC 2018: Porto, Portugal
- Maria Prandini, Jyotirmoy V. Deshmukh:
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC 2018, Porto, Portugal, April 11-13, 2018. ACM 2018 [contents]
20. HSCC 2017: Pittsburgh, PA, USA
- Goran Frehse, Sayan Mitra:
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, HSCC 2017, Pittsburgh, PA, USA, April 18-20, 2017. ACM 2017, ISBN 978-1-4503-4590-3 [contents]
19. HSCC 2016: Vienna, Austria
- Alessandro Abate, Georgios Fainekos:
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016. ACM 2016, ISBN 978-1-4503-3955-1 [contents]
18. HSCC 2015: Seattle, WA, USA
- Antoine Girard, Sriram Sankaranarayanan:
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015. ACM 2015, ISBN 978-1-4503-3433-4 [contents]
17. HSCC 2014: Berlin, Germany
- Martin Fränzle, John Lygeros:
17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014. ACM 2014, ISBN 978-1-4503-2732-9 [contents]
16. HSCC 2013: Philadelphia, PA, USA
- Calin Belta, Franjo Ivancic:
Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA. ACM 2013, ISBN 978-1-4503-1567-8 [contents]
15. HSCC 2012: Beijing, China
- Thao Dang, Ian M. Mitchell:
Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012. ACM 2012, ISBN 978-1-4503-1220-2 [contents]
14. HSCC 2011: Chicago, IL, USA
- Marco Caccamo, Emilio Frazzoli, Radu Grosu:
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011. ACM 2011, ISBN 978-1-4503-0629-4 [contents]
13. HSCC 2010: Stockholm, Sweden
- Karl Henrik Johansson, Wang Yi:
Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2010, Stockholm, Sweden, April 12-15, 2010. ACM 2010, ISBN 978-1-60558-955-8 [contents]
12. HSCC 2009: San Francisco, CA, USA
- Rupak Majumdar, Paulo Tabuada:
Hybrid Systems: Computation and Control, 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings. Lecture Notes in Computer Science 5469, Springer 2009, ISBN 978-3-642-00601-2 [contents]
11. HSCC 2008: St. Louis, MO, USA
- Magnus Egerstedt, Bud Mishra:
Hybrid Systems: Computation and Control, 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings. Lecture Notes in Computer Science 4981, Springer 2008, ISBN 978-3-540-78928-4 [contents]
10. HSCC 2007: Pisa, Italy
- Alberto Bemporad, Antonio Bicchi, Giorgio C. Buttazzo:
Hybrid Systems: Computation and Control, 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings. Lecture Notes in Computer Science 4416, Springer 2007, ISBN 978-3-540-71492-7 [contents]
9. HSCC 2006: Santa Barbara, CA, USA
- João P. Hespanha, Ashish Tiwari
:
Hybrid Systems: Computation and Control, 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings. Lecture Notes in Computer Science 3927, Springer 2006, ISBN 3-540-33170-0 [contents]
8. HSCC 2005: Zurich, Switzerland
- Manfred Morari, Lothar Thiele:
Hybrid Systems: Computation and Control, 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings. Lecture Notes in Computer Science 3414, Springer 2005, ISBN 3-540-25108-1 [contents]
7. HSCC 2004: Philadelphia, PA, USA
- Rajeev Alur, George J. Pappas:
Hybrid Systems: Computation and Control, 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings. Lecture Notes in Computer Science 2993, Springer 2004, ISBN 3-540-21259-0 [contents]
6. HSCC 2003: Prague, Czech Republic
- Oded Maler, Amir Pnueli:
Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings. Lecture Notes in Computer Science 2623, Springer 2003, ISBN 3-540-00913-2 [contents]
5. HSCC 2002: Stanford, CA, USA
- Claire J. Tomlin, Mark R. Greenstreet:
Hybrid Systems: Computation and Control, 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings. Lecture Notes in Computer Science 2289, Springer 2002, ISBN 3-540-43321-X [contents]
4. HSCC 2001: Rome, Italy
- Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli:
Hybrid Systems: Computation and Control, 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001, Proceedings. Lecture Notes in Computer Science 2034, Springer 2001, ISBN 3-540-41866-0 [contents]
3. HSCC 2000: Pittsburgh, PA, USA
- Nancy A. Lynch, Bruce H. Krogh:
Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings. Lecture Notes in Computer Science 1790, Springer 2000, ISBN 3-540-67259-1 [contents]
2. HSCC 1999: Berg en Dal, The Netherlands
- Frits W. Vaandrager, Jan H. van Schuppen:
Hybrid Systems: Computation and Control, Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999, Proceedings. Lecture Notes in Computer Science 1569, Springer 1999, ISBN 3-540-65734-7 [contents]
1. HSCC 1998: Berkeley, California, USA
- Thomas A. Henzinger, Shankar Sastry:
Hybrid Systems: Computation and Control, First International Workshop, HSCC'98, Berkeley, California, USA, April 13-15, 1998, Proceedings. Lecture Notes in Computer Science 1386, Springer 1998, ISBN 3-540-64358-3 [contents]
5. Hybrid Systems 1997: Notre Dame, IN, USA
- Panos J. Antsaklis, Wolf Kohn, Michael D. Lemmon, Anil Nerode, Shankar Sastry:
Hybrid Systems V, Proceedings of the Fifth International Workshop on Hybrid Systems, Notre Dame, IN, USA, September 11-13, 1997. Lecture Notes in Computer Science 1567, Springer 1999, ISBN 3-540-65643-X [contents]
4. Hybrid Systems 1996: Ithaca, NY, USA
- Panos J. Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry:
Hybrid Systems IV, Proceedings of the Fourth International Workshop on Hybrid Systems, Ithaca, NY, USA, October 1996. Lecture Notes in Computer Science 1273, Springer 1997, ISBN 3-540-63358-8 [contents]
Hybrid Systems Workshop 1995: New Brunswick, NJ, USA
- Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag:
Hybrid Systems III: Verification and Control, Proceedings of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, October 22-25, 1995, Ruttgers University, New Brunswick, NJ, USA. Lecture Notes in Computer Science 1066, Springer 1996, ISBN 3-540-61155-X [contents]
3. Hybrid Systems 1994: Ithaca, NY, USA
- Panos J. Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry:
Hybrid Systems II, Proceedings of the Third International Workshop on Hybrid Systems, Ithaca, NY, USA, October 1994. Lecture Notes in Computer Science 999, Springer 1995, ISBN 3-540-60472-3 [contents]
Hybrid Systems Workshop 1993: Boston, MA, USA
1. Hybrid Systems 1991: Ithaca, NY, USA / 2. Hybrid Systems 1992: Lyngby, Denmark
- Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel:
Hybrid Systems. Lecture Notes in Computer Science 736, Springer 1993, ISBN 3-540-57318-6 [contents]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
