Selected Prior Publications

Michael Lemmon, University of Notre Dame

  1. T. Chantem, X. Wang, M.D. Lemmon, and X. Hu (2008), Period and Deadline Selection for Schedulability in Real-time Systems European Conference on Real-time Systems (ECRTS08), Prague, Czech republic, July 2008.
  2. L. Montestruque and M.D. Lemmon (2008), CSOnet: a metropolitan scale wireless sensor-actuator network, International Workshop on Mobile Device and Urban Sensing (MODUS), 2008
  3. X. Wang and M. Lemmon (2008), Event Design in Event-Triggered Feedback Control Systems , IEEE Conference on Decision and Control, December 2008.
  4. X. Wang and M. Lemmon (2008), Decentralized Event-triggering Broadcast over Networked Systems,, Hybrid Systems: computation and control, 2008.
  5. X. Wang and M. Lemmon (2008), State based Self-triggered feedback control systems with L2 stability, 17th IFAC world congress, 2008.
  6. X. Wang and M. Lemmon (2008), Event-triggered Broadcasting across Distributed Networked Control Systems,, American Control Conference,, 2008.
  7. M. Lemmon, T. Chantem, X. Hu, and M. Zyskowski (2007), On Self-Triggered Full Information H-infinity Controllers, Hybrid Systems: Computation and Control, April 2007.
  8. Y. Sun and M. Lemmon (2007), Convergence of Consensus Filtering under Network Throughput Limitations , IEEE Conference on Decision and Control, 2007.
  9. Y. Sun and M. Lemmon (2007), Swarming under Perfect Consensus using Integral Action American Control Conference , 2007.
  10. P. Wan and M. Lemmon (2007), Distributed Flow Control using Embedded Sensor-Actuator Networks for the Reduction of Combined Sewer Overflow (CSO) Events, IEEE Conference on Decision and Control, 2007.
  11. L.A. Seders, C.A. Shea, M.D. Lemmon, P.A. Maurice, J.W. Talley (2007), LakeNet: an integrated sensor network for environmental sensing in lakes, Environmental Engineering Science , volume 24, number 2, pages 183-191, 2007
  12. T. Chantem, X.S. Hu, and M.D. Lemmon (2007), Period and Deadline Selection Problem for Real-Time Systems, Real Time Systems Symposium: work-in-progress track(RTSS07), 2007.
  13. A. Nightingale, D.A. Duffin, M. Lemmon, B. Goodwine, and E. Jumper (2006), Adaptive-Optic Correction of a Regularized Compressible Shear Layer, 37th AIAA Plasmadynamics and Lasers Conference, June 5-8, 2006, San Francicso, CA.
  14. M.D. Lemmon and R. Sun (2006), Performance Rate Curves for Dynamically Quantized Feedback Systems, IEEE Conference on Decision and Control, 2006
  15. M.D. Lemmon and Y. Sun (2006), Cohesive Swarming under Consensus, IEEE Conference on Decision and Control, 2006.
  16. T. Chantem, X. Hu, and M.D. Lemmon (2006), Generalized Elastic Scheduling, IEEE Real Time Systems Symposium, 2006
  17. X. Hu, T. Chantem, and M.D. Lemmon (2006), Optimal Elastic Scheduling, IEEE Real-Time and Embedded Technology and Applications Symposium (works in progress track), 2006.
  18. D. Liu, X. Hu, M.D. Lemmon, and Q. Ling (2006), Firm Real-Time System Scheduling Based on a Novel QoS Constraint, IEEE Transactions on Computers, Volume 55, No. 3, page 320-333, March 2006.
  19. D. Liu, X. Hu, M.D. Lemmon, and Q. Ling (2005), Scheduling Tasks with Markov-Chain Constraints, 17th Euromicro Conference on Real-time Systems, July 2005.
  20. L. Fang, P.J. Antsaklis, L. Montestruque, B. McMickell, M. Lemmon, Y. Sun, H. Fang, I. Koutroulis, M. Haenggi, M Xie, and X. Xie (2005), Design of a Wireless Dead Reckoning Pedestrian Navigation System : The NavMote Experience, IEEE Transactions on Instrumentation and Measurement,, Volume 54, no. 6, pages -2342-2359, 2005.
  21. Q. Ling and M.D. Lemmon (2005) , Optimal dynamic bit assignment in noise-free quantized linear control systems, IEEE Conference on Decision and Control, Seville Spain, Dec. 2005.
  22. Q. Ling and M.D. Lemmon (2005), Stability of Quantized Control Systems under Dynamic Bit Assignment, IEEE Transactions on Automatic Control, Vol 50, 2005.
  23. Y. Sun and M.D. Lemmon (2005), Perodic Communication Logics for the Decentralized Control of Multi-Agent Systems, Proceedings of 2005 IEEE Conference on Control Applications, Toronto Canada, August 2005.
  24. Q. Ling and M.D. Lemmon (2004), Power Spectrcal Analysis of Networked Control Systems with Data Dropouts, IEEE Transactions on Automatic Control, volume 49(6), pages 955-959, 2004.
  25. M. Lemmon and Q. Ling (2004), Control system performance under dynamic quantization: the scalar case, IEEE Conference on Decision and Control, Bahamas, 2004.
  26. X.S. Hu, D. Liu, M.D. Lemmon and Q. Ling (2003), Firm Real-time System Scheduling based on a Novel QoS Constraint, Real Time Systems Symposium (RTSS03), Cancun, Mexico, 2003.
  27. Q> Ling and M.D. Lemmon (2003), Soft real-time scheduling of netwroked control systems with dropouts governed by a Markov chain, American Control Conference (ACC03), Denver, CO, 2003.
  28. Q. Ling and M.D. Lemmon (2003), Optimal dropout compensation in networked control systems, IEEE Conference on Decision and Control, Hawaii, 2003.
  29. M.D. Lemmon, Q. Ling and Y. Sun (2003), Overload management in sensor-actuator networks used for spatially-distributed control systems, First ACM Conference on Embedded Network Sensor Systems (SenSys03), UCLA, 2003
  30. Q. Ling and M.D. Lemmon (2002), Robust performance of soft real-time networked control systems with data-dropouts, IEEE Conference on Decision and Control, Las Vegas, Nevada, 2002.
  31. K.X. He and M.D. Lemmon (2002), Liveness-enforcing supervision of bounded ordinary Petri nets using partial order methods, IEEE Transactions on Automatic Control, volume 47, pages 1042-1055, 2002.
  32. X. Koutsoukos, P.J. Antsaklis, J. Stiver and M.D. Lemmon (2000), Supervisory Control of Hybrid Systems, Proceedings of the IEEE, volume 88, no. 7, pages 1026-1049, 2000.
    33. M.D. Lemmon (2000), On the existence of solutions to controlled hybrid automata, Hybrid Systems: computation and control, Pittsburgh, PA, LNCS 1790, pages 229-242, Springer, 2000.
  33. C.J. Bett and M.D. Lemmon (1999), Bounded amplitude performance of switched LPV systems with applications to hybrid systems, Automatica, volume 35, pages 491-503, 1999.
  34. M.D. Lemmon, K.X. He, and I. Markovsky (1999), Supervisory Hybrid Systems, IEEE Control Systems Magazine, volume 19, no. 4, pages 42-55, 1999.
  35. K.D. Koutsoukos, K.X. He, M.D. Lemmon and P.J. Antsaklis (1998), Timed Petri Nets in hybrid Systems: stability and supervisory control, Discrete Event Dynamic Systems: theory and applications, volume 8, no. 2, pages 137-174, 1998.
  36. M.D. Lemmon and C.J. Bett (1998), Safe implementations of supervisory commands, International Journal of Control, volume 70, no. 2, pages 271-288, 1998.
  37. K.X. He and M.D. Lemmon (1998), Lyapunov stability of continuous-valued systems under the supervision of discrete-event transition systems, , Hybrid Systems: computation and control, LNCS volume 1386, pages 175-189, Springer, 1998.
  38. K. Yamalidou, J. Moody, M.D. Lemmon and P.J. Antsaklis (1996), Feedback control of petri nets based on place invariants, Automatica, volume 32, no. 1, pages 15-28, 1996.
  39. J.A. Stiver, P.J. Anstaklis, and M.D. Lemmon (1996), A logical DES approach to the design of hybrid control systems, Mathematical and Computer Modeling, volume 23, no. 11/12, pages 55-76, 1996
  40. X. Yang, M.D. Lemmon, and P.J. Antsaklis (1995), Inductive inference of optimal controllers for uncertain logical discrete-event systems, Proceedings of the IEEE International Symposium on Intelligent Control, 1995.
  41. X. Yang, M.D. Lemmon, and P.J. Antsaklis (1995), Inductive inference of logical DES controllers using the L* algorithm, Proceedings of the American Control Conference, 1995.
  42. X. Yang, M.D. Lemmon and P.J. Antsaklis (1995), On the supremal controllable sublanguage in the discrete event model of non-deterministic hybrid control systems, IEEE Transactions on Automatic Control, Volume 40, no. 12, pages 2098-2102, 1995.
  43. M.D. Lemmon and P.J. Antsaklis (1995), Inductively inferring valid logical models of continuous-state dynamical systems, Theoretical computer science, volume 138, pages 201-210, 1995.
  44. M.D. Lemmon, P.J. Antsaklis, X. Yang, and C. Lucisano (1995), Control System Synthesis through Inductive Learning of Boolean Concepts, IEEE Control Systems Magazine, volume 15, no. 3, pages 25-36, 1995.
  45. M.D. Lemmon (1994), Topologically Ordered Competitive Sampling, Neural Networks, volume 7, number 1, pages 101--111, 1994.
  46. M.D. Lemmon and C.J. Bett (1993), Direct adaptive stabilization of linear systems using query-based protocols, IEEE Conference on Decision and Control, 1993.
  47. M.D. Lemmon (1993), Inductive Inference of Invariant Subspaces, American Control Conference, 1993