Robotic agents and assembly process : a formal specification case study

Robotic agents and assembly process : a formal specification case study

Bibliographic Details
Main Author:	Periyasamy, K
Format:	Others
Published:	1991
Online Access:	http://spectrum.library.concordia.ca/4141/1/NN68764.pdf Periyasamy, K <http://spectrum.library.concordia.ca/view/creators/Periyasamy=3AK=3A=3A.html> (1991) Robotic agents and assembly process : a formal specification case study. PhD thesis, Concordia University.

Similar Items

Towards the formal verification of human-agent-robot teamwork
by: Stocker, Richard
Published: (2013)

On Formal Specification of Emergent Behaviours in Swarm Robotic Systems
by: Alan FT Winfield, et al.
Published: (2005-12-01)

On Formal Specification of Emergent Behaviours in Swarm Robotic Systems
by: Clare Dixon, et al.
Published: (2008-11-01)

Open Modular Robot Control Architecture for Assembly Using the Task Frame Formalism
by: Jochen Maaß, et al.
Published: (2006-03-01)

Open Modular Robot Control Architecture for Assembly Using the Task Frame Formalism
by: Jochen Maass, et al.
Published: (2008-11-01)

Specification Decomposition and Formal Behavior Generation in Multi-Robot Systems
by: Schillinger, Philipp
Published: (2017)

Formal specification of a specification library
by: Atreya, Sriram K
Published: (2005)

Task-Specific Sensor Planning for Robotic Assembly Tasks
by: Rosman, Guy, et al.
Published: (2021)

On the domain-specific formalization of requirement specifications - a case study of ETCS
by: Dorka, Moritz
Published: (2015)

Specification and formal verification of fuzzy information processing for the case of edge detection
Published: ()

Sensory measurement and control in robotic assembly processes
by: Smith, G. P.
Published: (1988)

Formal methods for reconfigurable assembly systems
by: Ribeiro, Tiago de Oliveira
Published: (2010)

Supporting Selective Formalism in CSP++ with Process-Specific Storage
by: Gumtie, Alicia
Published: (2012)

Using formal specifications to enhance the software testing process
by: Hierons, Robert M.
Published: (1992)

Affordance Equivalences in Robotics: A Formalism
by: Mihai Andries, et al.
Published: (2018-06-01)

Extending a formal specification & requirements language : a case study
by: Lai, Danny Cho-Liang, 1978-
Published: (2014)

Formal specification of a wall-climbing robot using Z-A case study of small-scale embedded hard real-time system
by: Mohamad, Radziah, et al.
Published: (2001)

Mobile Robots for In-Process Monitoring of Aircraft Systems Assemblies
by: Auledas-Noguera, M., et al.
Published: (2022)

Parts feeding for robotic assembly
by: Lo, E. K.
Published: (1984)

Formal specification and synthesis of sequential/logic controllers for process systems
by: Sanchez Carmona, Arturo del Sagrado Corazon
Published: (1994)

Hidden Markov Models as a Process Monitor in Robotic Assembly
by: Geir E. Hovland, et al.
Published: (1999-10-01)

Detecting the Artifact Anomalies in Business Process Specifications with a Formal Model
by: 許嘉麟
Published: (2007)

Towards a Formal Specification of Production Processes Suitable for Automatic Execution
by: Vještica Marko, et al.
Published: (2021-01-01)

A demonstration of a formal specification & requirements language : a case study
by: Sutherland, Sean J. P. (Sean Jason Perry), 1977-
Published: (2014)

Formal specification and verification of safety interlock systems: A comparative case study
by: Seotsanyana, Motlatsi
Published: (2008)

Discrete Robotic Assemblies
by: Manuel Jiménez García, et al.
Published: (2019-07-01)

Self-Assembling Robots
by: Groß, Roderich
Published: (2007)

Self-assembling robots
by: Gross, Roderich
Published: (2007)

Informal, semi-formal, and formal approaches to the specification of software requirements
by: Wong Cheng In, Marie Hélène LinLee.
Published: (2009)

Informal, semi-formal, and formal approaches to the specification of software requirements
by: Wong Cheng In, Marie Hélène LinLee.
Published: (2009)

Application of computer agent modeling for optimization of the assembly process
by: І.О. Ушакова
Published: (2020-03-01)

Incremental Validation of Formal Specifications
by: Corwin, Paul S
Published: (2009)

Exploring the barriers to formal specification
by: Snook, Colin Frank
Published: (2001)

An application of formal specification techniques
by: Teruel, A.
Published: (1985)

Logic, programming and formal specification
by: Goldsmith, M. H.
Published: (1985)

Formal specifications for digital systems
by: Harman, Neal Andrew
Published: (1989)

The formal specification of computational structures
by: Stewart, Alan
Published: (1986)

Animation prototyping of formal specifications
by: Hughes, Thomas S.
Published: (1992)

Formal specification based prototyping
by: Hekmatpour, S.
Published: (1987)

Specifics of Formal and Legal Issues in Processes of Revitalizing Post-Industrial Buildings
by: Kochański Paweł
Published: (2016-12-01)