SCOPUS 정보 검색 플랫폼

IEEE International Conference on Intelligent Robots and Systems

Volumn 3, Issue , 2001, Pages 1471-1476

A computational framework for the simulation, verification, and synthesis of force-guided robotic assembly strategies

(2) Branicky, Michael S a Chhatpar, Siddharth R a

a CASE WESTERN RESERVE UNIVERSITY (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; C (PROGRAMMING LANGUAGE); COMPUTATIONAL METHODS; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SIMULATION; FORCE CONTROL; GRAPHICAL USER INTERFACES; TWO DIMENSIONAL;

FORCE-GUIDED ROBOTIC ASSEMBLY; PEG-IN-MAZE ASSEMBLY; STATE MACHINE;

ROBOTIC ASSEMBLY;

EID: 0035560128 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper

Times cited : (7)

References (22)

1
- 0003672832
- Sc.D. Thesis, Electrical Eng. and Computer Science Dept., M.I.T., June
- (1995) Studies in Hybrid Systems: Modeling, Analysis, and Control
- Branicky, M.S.¹

2
- 0029378507
- The discrete event modeling and trajectory planning of robotic assembly tasks
- Sept
- (1995) ASME J. of Dynamic Systems, Measurement and Control , vol.117 , Issue.3 , pp. 394-400
- McCarragher, B.J.¹ Asada, H.²

3
- 0030652272
- Force control command synthesis for assembly using a discrete event framework
- Proc. IEEE International Conf. Robotics and Automation, Albuquerque, April 1997
- Austin, D.¹ McCarragher, B.J.²

4
- 0032632056
- Force-responsive robotic assembly of transmission components
- Proc. IEEE International Conf. Robotics and Automation, May 1999
- Newman, W.S.¹ Branicky, M.S.² Podgurski, H.A.³ Chhatpar, S.⁴ Huang, L.⁵ Swaminathan, J.⁶ Zhang, H.⁷

5
- 27644500937
- Impedance based assembly
- Video Proc. IEEE International Conf. on Robotics and Automation, Detroit, May 1999
- Newman, W.S.¹ Branicky, M.S.² Chhatpar, S.³ Huang, L.⁴ Zhang, H.⁵

6
- 0003535476
- M.S. Thesis, Electrical Eng. and Applied Physics Dept., Case Western Reserve U., Jan
- (1999) Experiments in Force-guided Robotic Assembly
- Chhatpar, S.R.¹

7
- 0028253068
- Stable interaction control and coulomb friction compensation using natural admittance control
- (1994) J. of Robotic Systems , vol.11 , Issue.1 , pp. 3-11
- Newman, W.S.¹ Zhang, Y.²

8
- 0024479313
- The control of discrete event systems
- (1989) Proc. of the IEEE , vol.77 , Issue.1 , pp. 81-98
- Ramadge, P.¹ Wonham, W.²

9
- 0033358948
- A hybrid systems approach to force-guided robotic assemblies
- Proc. IEEE International Symp. on Assembly and Task Planning, Porto, Portugal, July 1999
- Chhatpar, S.R.¹ Branicky, M.S.²

10
- 0005981376
- The theory of hybrid automata
- Proc. 11th Annual IEEE Symp. on Logic in Computer Science, New Brunswick, July 1996
- Henzinger, T.A.¹

11
- 0023365727
- Statecharts: A visual formalism for complex systems
- (1987) Science of Computer Programming , vol.8 , pp. 231-274
- Harel, D.¹

12
- 0005994998
- M.S. Thesis, Electrical Eng. and Computer Science Dept., Case Western Reserve Univ., June
- (1999) Simulation and Verification of Robotic Assembly Tasks
- Fu, Q.¹

13
- 0005960623
- The Hybrid cc programmer's manual
- (1997)
- Carlson, B.¹ Gupta, V.²

14
- 84958034475
- Hybrid cc, hybrid automata and program verification
- Springer
- (1996) Hybrid Systems III, Vol. 1066, Lecture Notes in Computer Science
- Gupta, V.¹ Jagadeesan, R.² Saraswat, V.³

15
- 0041990630
- Programming in hybrid constraint languages
- Springer
- (1995) Hybrid Systems II, Vol. 999, Lecture Notes in Computer Science
- Gupta, V.¹ Jagadeesan, R.² Saraswat, V.³ Bobrow, D.G.⁴

16
- 0006002199
- A model of photocopier paper path
- Proc. of the Second IJCAI Workshop on Engineering Problems for Qualitative Reasoning, Montreal, August 1995
- Gupta, V.¹ Saraswat, V.A.² Struss, P.³

17
- 0012188318
- ver. 1.04
- (1996) A User Guide to HyTech
- Henzinger, T.A.¹

18
- 84947423533
- HyTech: A model checker for hybrid systems
- Proc. Ninth International Conf. on Computer-Aided Verification (CAV 97), Volume 1254, Lecture Notes in Computer Science, Springer-Verlag, 1997 , pp. 460-463
- Henzinger, T.A.¹ Ho, P.-H.² Toi, H.W.³

19
- 0029535775
- HyTech: The next generation
- Proc. 16th Annual IEEE Real-Time Systems Symposium (RTSS 1995) , pp. 56-65
- Henzinger, T.A.¹ Ho, P.-H.² Toi, H.W.³

20
- 0003789471
- Ph.D. Thesis, Elec. and Comp. Eng., Carnegie Mellon U., April
- (1999) Hybrid System Verification Using Discrete Model Approximation
- Chutinan, A.¹

21
- 0005960080
- M.S. Thesis, Electrical Engineering and Computer Science Dept., Case Western Reserve Univ., August
- (1999) An Object-Oriented Application Framework for Peg-in-Maze Assemblies
- Swaminathan, J.¹

22
- 0003430974
- M.S. Thesis, Electrical Engineering and Applied Physics Dept., Case Western Reserve Univ., March
- (1998) Impedance Control for Accommodation of Position Uncertainty in Robotic Assembly
- Huang, L.E.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.