Hybrid Systems II

Hybrid Systems II edited by Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry.

This book documents the scientific outcome of the Third International Workshop on Hybrid Systems, held in Ithaca, NY, USA, in October 1994. It presents a selection of carefully reviewed and revised full papers chosen from the workshop contribution and is the successor to LNCS 736, the seminal "...

Full description

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Antsaklis, Panos (Editor), Kohn, Wolf (Editor), Nerode, Anil (Editor), Sastry, Shankar (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995.
Edition:	1st ed. 1995.
Series:	Lecture Notes in Computer Science, 999 Springer eBook Collection.
Subjects:	Microprocessors. Control engineering. Computers. Special purpose computers. Software engineering. Computer logic. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Similar Items

Hybrid Systems
Published: (1993)

Hybrid Systems III Verification and Control
Published: (1996)

Hybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings
Published: (2005)

Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings
Published: (2007)

Hybrid Systems: Computation and Control 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings
Published: (2003)

Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings
Published: (2008)

Hybrid Systems: Computation and Control 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings
Published: (2006)

Hybrid Systems: Computation and Control 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings
Published: (2002)

Hybrid Systems: Computation and Control First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings
Published: (1998)

Hybrid and Real-Time Systems International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings
Published: (1997)

Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings
Published: (2009)

Hybrid Systems IV
Published: (1997)

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings
Published: (2004)

Job Scheduling Strategies for Parallel Processing 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers
Published: (2018)

OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers
Published: (2018)

On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors
by: Pflanz, Matthias
Published: (2002)

Formal Techniques in Real-Time and Fault-Tolerant Systems 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings
Published: (2002)

Hybrid Systems: Computation and Control 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings
Published: (2001)

Power Electronics and Instrumentation Engineering International Conference, PEIE 2010,Kochi, Kerala, India, September 7-9, 2010, Proceedings
Published: (2010)

Advances in Power Electronics and Instrumentation Engineering Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings
Published: (2011)

Software Architectures and Component Technology
Published: (2002)

Software Performability: From Concepts to Applications
by: Tai, Ann T., et al.
Published: (1996)

Algorithms, Software and Hardware of Parallel Computers
Published: (1984)

Hybrid Systems: Computation and Control 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings
Published: (2004)

Hybrid Systems: Computation and Control Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23 - 25, 2000 Proceedings
Published: (2000)

Computer Aided Systems Theory - EUROCAST 2001 A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001. Revised Papers
Published: (2001)

Compositional Verification of Concurrent and Real-Time Systems
by: Juan, Eric Y.T, et al.
Published: (2002)

Embedded Software and Systems Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, Proceedings
Published: (2007)

Embedded Software and Systems Second International Conference, ICESS 2005, Xi'an, China, December 16-18, 2005, Proceedings
Published: (2005)

Embedded Software and Systems First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers
Published: (2005)

Hybrid Systems V
Published: (1999)

Synchronization in Real-Time Systems A Priority Inheritance Approach
by: Rajkumar, Ragunathan
Published: (1991)

Business Component-Based Software Engineering
Published: (2003)

Embedded Processor Design Challenges Systems, Architectures, Modeling, and Simulation - SAMOS
Published: (2002)

High-Performance Computing on the Intel® Xeon Phi™ How to Fully Exploit MIC Architectures
by: Wang, Endong, et al.
Published: (2014)

Formal Methods for Real-Time and Probabilistic Systems 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings
Published: (1999)

Formal Techniques in Real-Time and Fault-Tolerant Systems
Published: (1993)

Computer Aided Systems Theory - EUROCAST '97 A Selection of Papers from the Sixth International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 1997, Proceedings
Published: (1997)

Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings
Published: (2013)

Automatic Verification Methods for Finite State Systems International Workshop, Grenoble, France. June 12-14, 1989. Proceedings
Published: (1990)