Automatic Compilation of Concurrent Hybrid Factories from Product Assembly Specifications
- 1 January 2000
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 174-187
- https://doi.org/10.1007/3-540-46430-1_17
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- A formalism for the composition of concurrent robot behaviorsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Sequential Composition of Dynamically Dexterous Robot BehaviorsThe International Journal of Robotics Research, 1999
- Differential Petri nets: representing continuous systems in a discrete-event worldIEEE Transactions on Automatic Control, 1998
- Safe Cooperative Robot Patterns via Dynamics on GraphsPublished by Springer Nature ,1998
- HYTECH: a model checker for hybrid systemsInternational Journal on Software Tools for Technology Transfer, 1997
- An approach to autonomous robot assemblyRobotica, 1994
- Petri NetsPublished by Springer Nature ,1985
- Nets, sequential components and concurrency relationsTheoretical Computer Science, 1984
- Automatic Synthesis of Fine-Motion Strategies for RobotsThe International Journal of Robotics Research, 1984
- Marked directed graphsJournal of Computer and System Sciences, 1971