Author:
St-Aubin Robert,Friedman Joel,Mackworth Alan K.
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Artificial Intelligence
Reference41 articles.
1. Zhang, Y., Mackworth, A.K.: Constraint nets: a semantic model for hybrid systems. Theor. Comput. Sci. 138(1), 211–239 (1995)
2. Zhang, Y., Mackworth, A.K.: Modeling and analysis of hybrid control systems: An elevator case study. In: Levesque, H., Pirri, F., (eds.) Logical Foundations for Cognitive Agents, pp. 370–396. Springer, Berlin Heidelberg New York (1999)
3. Barringer, H.: Up and down the temporal way. Tech. rep., Computer Science, University of Manchester, England (September 1985)
4. Dyck, D., Caines, P.: The logical control of an elevator. IEEE Trans. Automat. Contr. 3, 480–486 (March 1995)
5. Sanden, B.: An entity-life modeling approach to the design of concurrent software. Commun. ACM 32, 230–243 (March 1989)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献