-
1
-
-
84887432229
-
Communicating hierarchical state machines
-
R. Alur, S. Kannan, and M. Yannakakis, "Communicating hierarchical state machines," in Proc. 26th Int. Colloquium on Automata Languages and Programming, Lecture Notes in Computer Science 1644, 1999, pp. 169-178.
-
Proc. 26th Int. Colloquium on Automata Languages and Programming, Lecture Notes in Computer Science 1644, 1999
, pp. 169-178
-
-
Alur, R.1
Kannan, S.2
Yannakakis, M.3
-
2
-
-
28544447269
-
A framework for evaluating specification methods for reactive systems: Experience report
-
June
-
M. A. Ardis et al., "A framework for evaluating specification methods for reactive systems: Experience report," IEEE Trans. Software Eng., vol. 22, pp. 378-389, June 1996.
-
(1996)
IEEE Trans. Software Eng.
, vol.22
, pp. 378-389
-
-
Ardis, M.A.1
-
3
-
-
0030212472
-
A visualization model for concurrent systems
-
Aug.
-
M. Astley and G. A. Agha, "A visualization model for concurrent systems," Inform. Sci., vol. 93, no. 1-2, pp. 107-131, Aug. 1996.
-
(1996)
Inform. Sci.
, vol.93
, Issue.1-2
, pp. 107-131
-
-
Astley, M.1
Agha, G.A.2
-
4
-
-
84866577432
-
-
M. Barnett, E. Boerger, Y. Gurevich, W. Schulte, and M. Veanes, Using Abstract State Machines at Microsoft: A Case Study. [Online]. Available: http:research.microsoft.com/~gurevich/annotated.html
-
Using Abstract State Machines at Microsoft: A Case Study
-
-
Barnett, M.1
Boerger, E.2
Gurevich, Y.3
Schulte, W.4
Veanes, M.5
-
5
-
-
0003950339
-
Software modeling for reconfigurable machine tool controllers
-
Ph.D. dissertation, Dept. Elec. Eng. Comp. Sci., Univ. Michigan, Ann Arbor, MI
-
S. Birla, "Software modeling for reconfigurable machine tool controllers," Ph.D. dissertation, Dept. Elec. Eng. Comp. Sci., Univ. Michigan, Ann Arbor, MI, 1997.
-
(1997)
-
-
Birla, S.1
-
6
-
-
0003781213
-
-
Chrysler, Ford, and GM
-
"Requirements of Open, Modular Architecture Controllers for Applications in the Automotive Industry, Version 1.1," Chrysler, Ford, and GM, 1994.
-
(1994)
Requirements of Open, Modular Architecture Controllers for Applications in the Automotive Industry, Version 1.1
-
-
-
7
-
-
0242325607
-
Software tools for verification of modular FSM based logic control for use in reconfigurable machining systems
-
E. W. Endsley, M. R. Lucas, and D. M. Tilbury, "Software tools for verification of modular FSM based logic control for use in reconfigurable machining systems," in Proc. 2000 Japan-USA Symp. Flexible Automation, Ann Arbor, MI, July 23-26, 2000, pp. 565-568.
-
Proc. 2000 Japan-USA Symp. Flexible Automation, Ann Arbor, MI, July 23-26, 2000
, pp. 565-568
-
-
Endsley, E.W.1
Lucas, M.R.2
Tilbury, D.M.3
-
9
-
-
0033221252
-
Specification, design and implementation of logic controllers based on colored petri net models and the standard IEC 1131
-
Nov.
-
K. Feldmann et al., "Specification, design and implementation of logic controllers based on colored petri net models and the standard IEC 1131," IEEE Trans. Contr. Syst. Technol., vol. 7, pp. 657-674, Nov. 1999.
-
(1999)
IEEE Trans. Contr. Syst. Technol.
, vol.7
, pp. 657-674
-
-
Feldmann, K.1
-
11
-
-
0024016415
-
On visual formalisms
-
May
-
D. Harel, "On visual formalisms," Commun. ACM, vol. 31, no. 5, pp. 514-530, May 1998.
-
(1998)
Commun. ACM
, vol.31
, Issue.5
, pp. 514-530
-
-
Harel, D.1
-
12
-
-
0030691580
-
Timed-event abstraction and timing constraints in distributed real-time programming
-
J. Hooman and O. V. Roosmalen, "Timed-event abstraction and timing constraints in distributed real-time programming," in Proc. 3rd Int. Workshop on Object-Oriented Real-Time Dependable Systems, Newport Beach, CA, Feb. 5-7, 1997, pp. 153-170.
-
Proc. 3rd Int. Workshop on Object-Oriented Real-Time Dependable Systems, Newport Beach, CA, Feb. 5-7, 1997
, pp. 153-170
-
-
Hooman, J.1
Roosmalen, O.V.2
-
13
-
-
0011545683
-
IEC 61 499-function blocks
-
International Electrotechnical Commission Technical Committee
-
"IEC 61 499-Function Blocks," International Electrotechnical Commission Technical Committee, 1999.
-
(1999)
-
-
-
14
-
-
0028750073
-
Modechart: A specification language for real-time systems
-
Dec.
-
F. Jahanian and A. K. Mok, "Modechart: A specification language for real-time systems," IEEE Trans. Software Eng., vol. 20, pp. 933-947, Dec. 1994.
-
(1994)
IEEE Trans. Software Eng.
, vol.20
, pp. 933-947
-
-
Jahanian, F.1
Mok, A.K.2
-
15
-
-
0007550974
-
Open architecture control systems: Summary of global activity
-
Y. Koren, F. Jovane, and G. Pritschow, "Open Architecture Control Systems: Summary of Global Activity," ITIA-Institute for Industrial Technologies and Automation, ser. ITIA, vol. 2, 1998.
-
(1998)
ITIA-Institute for Industrial Technologies and Automation, Ser. ITIA
, vol.2
-
-
Koren, Y.1
Jovane, F.2
Pritschow, G.3
-
16
-
-
0030242443
-
Java for real-time
-
Sept.
-
K. Nilsen, "Java for real-time," Real-Time Syst., vol. 11, no. 2, pp. 197-205, Sept. 1996.
-
(1996)
Real-Time Syst.
, vol.11
, Issue.2
, pp. 197-205
-
-
Nilsen, K.1
-
17
-
-
0003839529
-
-
OMAC Working Group; Oct. 12
-
"OMAC API Documentation, Version 0.23," OMAC Working Group, http://www.isd.mel.nist.gov/project/omacapi/Bibliography/omacv023draft.pdf, Oct. 12, 1999.
-
(1999)
OMAC API Documentation, Version 0.23
-
-
-
20
-
-
0002203915
-
Modular system platform for open control systems
-
G. Pritschow and W. Sperling, "Modular system platform for open control systems," Prod. Eng., vol. IV, no. 2, pp. 77-80, 1997.
-
(1997)
Prod. Eng.
, vol.4
, Issue.2
, pp. 77-80
-
-
Pritschow, G.1
Sperling, W.2
-
21
-
-
0000755979
-
A modular approach for programming distributed real-time systems
-
Veldhovan, The Netherlands, Nov.
-
S. Ren and G. Agah, "A modular approach for programming distributed real-time systems," in Lectures on Embedded Systems: Eur. Educational Forum School on Embedded Systems (LNCS 1494), Veldhovan, The Netherlands, Nov. 1996, pp. 171-207.
-
(1996)
Lectures on Embedded Systems: Eur. Educational Forum School on Embedded Systems (LNCS 1494)
, pp. 171-207
-
-
Ren, S.1
Agah, G.2
-
24
-
-
0001509806
-
Specifying reconfigurable control flow for open architecture controllers
-
Otsu, Japan, July
-
C. Shiu, M. J. Washburn, S. Wang, C. V. Ravishankar, and K. G. Shin, "Specifying reconfigurable control flow for open architecture controllers," in Proc. 1998 Japan-USA Symp. on Flexible Automation, vol. 2, Otsu, Japan, July 1998, pp. 659-666.
-
(1998)
Proc. 1998 Japan-USA Symp. on Flexible Automation
, vol.2
, pp. 659-666
-
-
Shiu, C.1
Washburn, M.J.2
Wang, S.3
Ravishankar, C.V.4
Shin, K.G.5
-
25
-
-
0000474691
-
Design of dynamically reconfigurable real-time software using port-based objects
-
Dec.
-
D. B. Stewart, R. A. Volpe, and P. K. Khosla, "Design of dynamically reconfigurable real-time software using port-based objects," IEEE Trans. Software Eng., vol. 23, pp. 759-775, Dec. 1997.
-
(1997)
IEEE Trans. Software Eng.
, vol.23
, pp. 759-775
-
-
Stewart, D.B.1
Volpe, R.A.2
Khosla, P.K.3
-
26
-
-
0034878004
-
Modeling manufacturing control software
-
O. Storoshchuk, S. Wang, and K. G. Shin, "Modeling manufacturing control software," in Proc. 2001 IEEE Int. Conf. on Robotics and Automation, Seoul, Korea, May 2001, pp. 4072-4077.
-
Proc. 2001 IEEE Int. Conf. on Robotics and Automation, Seoul, Korea, May 2001
, pp. 4072-4077
-
-
Storoshchuk, O.1
Wang, S.2
Shin, K.G.3
-
27
-
-
0003456254
-
-
Sun Microsystems, Inc. [Online]
-
(1999) Jini Architectural Overview: Technical White Paper. Sun Microsystems, Inc. [Online]. Available http://www.sun.com/jini/whitepaper/architecture.html
-
(1999)
Jini Architectural Overview: Technical White Paper
-
-
-
29
-
-
0032163668
-
Specification and verification of multimedia synchronization scenarios using time-estelle
-
Sept.
-
T. Tsang and R. Lai, "Specification and verification of multimedia synchronization scenarios using time-estelle," Softw.-Pract. Exp., vol. 28, no. 11, pp. 1185-1211, Sept. 1998.
-
(1998)
Softw.-Pract. Exp.
, vol.28
, Issue.11
, pp. 1185-1211
-
-
Tsang, T.1
Lai, R.2
-
30
-
-
0003772307
-
-
Norwell, MA: Kluwer
-
T. Villa, T. Kam, R. K. Brayton, and A. Sangiovanni-Vincentelli, Synthesis of Finite State Machines: Logic Optimization. Norwell, MA: Kluwer, 1997.
-
(1997)
Synthesis of Finite State Machines: Logic Optimization
-
-
Villa, T.1
Kam, T.2
Brayton, R.K.3
Sangiovanni-Vincentelli, A.4
-
31
-
-
0033285680
-
A modeling approach for verification of IEC1499 function blocks using net condition/event systems
-
V. Vyatkin and H.-M. Hanisch, "A modeling approach for verification of IEC1499 function blocks using Net Condition/Event systems," in Proc. IEEE Conf. Emerging Technologies in Factory Automation (ETFA'99), Magdeburg, Germany, Mar. 2000, pp. 72-79.
-
Proc. IEEE Conf. Emerging Technologies in Factory Automation (ETFA'99), Magdeburg, Germany, Mar. 2000
, pp. 72-79
-
-
Vyatkin, V.1
Hanisch, H.-M.2
-
32
-
-
0032668169
-
Open architecture controller software for integration of machine tool monitoring
-
S. Wang, C. V. Ravishanka, and K. G. Shin, "Open architecture controller software for integration of machine tool monitoring," in Proc. 1999 IEEE Int. Conf. Robotics and Automation (ICRA'99), Detroit, MI, May 1999, pp. 1812-1820.
-
Proc. 1999 IEEE Int. Conf. Robotics and Automation (ICRA'99), Detroit, MI, May 1999
, pp. 1812-1820
-
-
Wang, S.1
Ravishanka, C.V.2
Shin, K.G.3
-
33
-
-
0011543019
-
Generic programming paradigm for machine control
-
S. Wang and K. G. Shin, "Generic programming paradigm for machine control," in Proc. World Automation Congr. 2000, Maui, HI, June 2000.
-
Proc. World Automation Congr. 2000, Maui, HI, June 2000
-
-
Wang, S.1
Shin, K.G.2
-
34
-
-
0031259286
-
Specification matching of software components
-
Oct.
-
A. M. Zaremski and J. M. Wing, "Specification matching of software components," ACM Trans. Softw. Eng. Method., vol. 6, no. 4, pp. 333-369, Oct. 1997.
-
(1997)
ACM Trans. Softw. Eng. Method
, vol.6
, Issue.4
, pp. 333-369
-
-
Zaremski, A.M.1
Wing, J.M.2
-
35
-
-
0030384041
-
Performance evaluation of modular real-time controllers
-
Atlanta, GA, Nov.
-
L. Zhou et al., "Performance evaluation of modular real-time controllers," in Proc. ASME Dynam. Syst. Contr. Div., DSC, vol. 58, Atlanta, GA, Nov. 1996, pp. 299-306.
-
(1996)
Proc. ASME Dynam. Syst. Contr. Div., DSC
, vol.58
, pp. 299-306
-
-
Zhou, L.1
|