Advertisement

Beyond Hybrid Systems

  • Anil Nerode
Part of the International Mathematical Series book series (IMAT, volume 5)

Abstract

What does the future hold for mathematical logic? In the early 1950’s I learned all the logic then existing. Until the mid eighties I read everything published in logic and related computer science. I am a “quick study,” but the quantity of papers become enormous, and I now limit my reading. I have watched all the well-known logicians and their subjects evolve for fifty-six years. Can I say anything beyond truisms about future trends?

Keywords

Hybrid System Plant State Hybrid Dynamical System Real Time Algorithm Digital Program 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

Original Hybrid System Series

  1. 1993 Hybrid systems, R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel (Eds.), Lect. Notes Compt. Sci. 736, Springer, 1993.Google Scholar
  2. 1995 Hybrid systems. II, P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry (Eds.), Lect. Notes Compt. Sci. 999, Springer, 1995.Google Scholar
  3. 1996 Hybrid Systems III, R. Alur, T. A. Henzinger, and E. D. Sontag (Eds.), Lect. Notes Compt. Sci. 1066, Springer, 1996.Google Scholar
  4. 1997 Hybrid Systems IV, P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry (Eds.), Lect. Notes Compt. Sci. 1273, Springer, 1997.Google Scholar
  5. 1999 Hybrid Systems V, P. Antsaklis, W. Kohn, M. Lemmon, A. Nerode, and S. Sastry (Eds.), Lect. Notes Compt. Sci. 1567, Springer, 1999.Google Scholar

Successor Series

  1. 1998 Hybrid Systems: Computation and Control: First International Workshop, HSCC’98 Berkeley, California, USA, April 13–15, 1998 Proceedings, Th.A. Henzinger and S. Sastry (Eds.), Lect. Notes Compt. Sci. 1386, Springer, 1998.Google Scholar
  2. 1999 Hybrid Systems: Computation and Control: Second International Workshop, HSCC’99, Berg en Dal, The Netherlands, March 1999. Proceedings, F.W. Vaandrager and J.H. van Schuppen (Eds.), Lect. Notes Compt. Sci. 1569, Springer, 1999.Google Scholar
  3. 2000 Hybrid Systems: Computation and Control: Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23–25, 2000 Proceedings, N. Lynch and B. Krogh (Eds.), Lect. Notes Compt. Sci. 1790, Springer, 2000.Google Scholar
  4. 2001 Hybrid Systems: Computation and Control: 4th International Workshop, HSCC 2001 Rome, Italy, March 28–30, 2001, Proceedings, M.D. Di Benedetto and A. Sangiovanni-Vincentelli (Eds.), Lect. Notes Compt. Sci. 2034, Springer, 2001.Google Scholar
  5. 2002 Hybrid Systems: Computation and Control: 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25–27, 2002. Proceedings, C.J. Tomlin and M.R. Greenstreet (Eds.), Lect. Notes Compt. Sci. 2289, Springer, 2002.Google Scholar
  6. 2003 Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003, Prague, Czech Republic, April 3–5, 2003. Proceedings, O. Maler and A. Pnueli (Eds.), Lect. Notes Compt. Sci. 2623, Springer, 2003.Google Scholar
  7. 2004 Hybrid Systems: Computation and Control: 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25–27, 2004. Proceedings R. Alur and G. J. Pappas (Eds.), Lect. Notes Compt. Sci. 2993, Springer, 2004.Google Scholar
  8. 2005 Hybrid Systems: Computation and Control: 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9–11, 2005. Proceedings, M. Morari and L. Thiele (Eds,), Lect. Notes Compt. Sci. 3414, Springer, 2005.Google Scholar
  9. 2006 Hybrid Systems: Computation and Control: 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29–31, 2006. Proceedings, J. Hespanha and A. Tiwari (Eds.), Lect. Notes Compt. Sci. 3927, Springer, 2006.Google Scholar

Other Recent Work on Hybrid Systems

  1. 1997 Hybrid and Real-Time Systems: International Workshop, HART’97 Grenoble, France, March 26–28, 1997 Proceedings, O. Maler (Ed.), Lect. Notes Compt. Sci. 1201, Springer, 1997.Google Scholar
  2. 1999 An Introduction to Hybrid Dynamical Systems, A. J. Van Der Schaft and J. M. Schumacher (Eds.), Lect. Notes Control Inf. Sci. 251, Springer, 1999.Google Scholar
  3. 2000 A. Matveev and A. Savkin, Qualitative Theory of Hybrid Dynamical Systems, Boston, Birkhauser, 2000.Google Scholar
  4. 2002 Modelling, Analysis, and Design of Hybrid Systems, S. Engell, G. Frehse, and E. Schnieder (Eds.), Lect. Notes Control Inf. Sci. 279, Springer, 2002.Google Scholar
  5. 2003 Proceedings of the 15th IFAC World Congress on the International Federation of Automatic Control: Hybrid Systems, E. F. Camacho, L. Basenez, and J. A. De la Puenta (Eds.), Elsevier, 2003.Google Scholar
  6. 2005 Control of Nonlinear and Hybrid Process Systems: Designs for Uncertainty, Constraints and Time-Delays, P. D. Christofides and N. H. El-Farra (Eds.), Lect. Notes Control Inf. Sci. 324, Springer, 2005.Google Scholar
  7. 2006 Impulsive and Hybrid Dynamical Systems: Stability, Dissipativity, and Control, W. Haddad, V. Chellaboina, and S. Nersesov (Eds.), Princeton Series Appl. Math., Princeton Univ. Press, 2006.Google Scholar

Review Papers

  1. 1998 Special issue on hybrid control systems, P. J. Antsaklis and A. Nerode (Eds.), IEEE Trans. Autom. Control 43 (1998), no. 4, 453–587.Google Scholar
  2. 2000 J. M. Davoren and A. Nerode, Logics for hybrid systems, Proceedings of the IEEE 88 (2000), no. 7, 985–1010.CrossRefGoogle Scholar

Kohn-Nerode/Hybrid Systems Theory

  1. 1993 W. Kohn and A. Nerode, Models for hybrid systems: automata, topologies, controllability and observability, In: Hybrid systems, Lect. Notes Compt. Sci. 736, Springer, 1993, pp. 317–356.Google Scholar
  2. 1996 W. Kohn, A. Nerode, and J. Remmel, Continualization: A hybrid systems control technique for computing, In: Proceedings of CESA’96, IMACS Multiconference, Vol 2, 1996, pp. 507–511.Google Scholar
  3. 1996 W. Kohn, A. Nerode, and J. Remmel, Feedback derivations: Near optimal controls for hybrid systems, In: Proceedings of CESA’96, IMACS Multiconference, Vol 2, 1996, pp. 517–521.Google Scholar
  4. 1997 W. Kohn and J. Remmel, Hybrid dynamic programming, In: Hybrid and Real Time Systems Hybrid and Real-Time Systems: International Workshop, HART’97 Grenoble, France, March 26–28, 1997 Proceedings, Lect. Notes Compt. Sci. 1201, Springer, 1997, pp. 391–396.Google Scholar
  5. 1997 W. Kohn, A. Nerode, and J. Remmel, Digital to hybrid program transformations, In: Proceedings of the 1997 IEEE International Symposium on Intelligent Control, pp. 342–347.Google Scholar
  6. 1997 W. Kohn, A. Nerode, and J. Remmel, Automaton comparison procedure for verification of hybrid systems, In: Proceedings of the 5th IEEE Mediterranean Conference on Control and Systems.Google Scholar
  7. 1997 W. Kohn, A. Nerode, and J. Remmel, Agent based velocity control of highway systems, In: Hybrid Systems IV, Lect. Notes Compt. Sci. 1273, Springer, 1997, pp. 174–214.Google Scholar
  8. 1999 W. Kohn, A. Nerode, and J. Remmel, Scalable data and sensor fusion via multiple agent hybrid systems, In: Hybrid Systems V, Lect. Notes Compt. Sci. 1567, Springer, 1999, pp. 122–140.Google Scholar
  9. 2000 W. Kohn, V. Brayman, and J. Ritcey, Enterprise dynamics via non-equilibrium membrane models, Open Syst. Inf. Dyn. 7 (2000), no. 4, 327–348.MATHCrossRefGoogle Scholar
  10. 2002 W. Kohn and V. Brayman, Automated sales and supply control of enterprise systems via agent cluster networks, In: Proceedings of the International Conference on Internet Computing, IC’2002, Las Vegas, Nevada, USA, June 24–27, 2002. CSREA Press, 2001, pp. 713–718.Google Scholar
  11. 2002 W. Kohn, V. Brayman, and A. Nerode, Control synthesis in hybrid systems with finsler dynamics, Houston J. Math. 28 (2002), no. 2, 353–375.MATHGoogle Scholar
  12. 2003 W. Kohn, V. Brayman, P. Cholewinski, and A. Nerode, Control in hybrid systems, International J. Hybrid Systems 3 (2003), no. 1&2, 109–150.Google Scholar

Copyright information

© Springer Science+Business Media, LLC 2007

Authors and Affiliations

  • Anil Nerode
    • 1
  1. 1.Cornell UniversityIthacaUSA

Personalised recommendations