A mathematical framework which has been specifically developed for manufacturing-like systems is presented, focusing on time-free dynamics and control, as treated by Finite State Automata. The approach is based on the key concepts of object types, locations and manufacturing operations enriched with an algebra (Manufacturing Algebra) for building complex operations as algebraic series-parallel compositions. The same framework has been already extended to treat discrete-event dynamics forced by timed-events described as [fact,time], a formulation not employed hereafter
Process algebra is a theoretical framework for the modelling and analysis of the behaviour of concur...
Abstract. We define a set of process algebra operators (controllers) that mimic the security automat...
In this chapter we provide a framework within which concepts from the field of systems and control c...
New production systems are highly reconfigurable and interact with dynamic indus-trial environments....
We extend the treatment of algebra automata to automata employing algebras over arbitrary theories. ...
Wright, Thatcher and Mezei have built on the observation of B\:uchi that finite automata may be cons...
Manufacturing is transitioning from a mass production model to a service model in which facilities ‘...
In this chapter, the dynamics of manufacturing systems is characterized through the occurrence of ev...
In this chapter, the dynamics of manufacturing systems is characterized through the occurrence of ev...
Abstract. A language for representing timed automata is introduced. Its semantics i defined in terms...
There is an increasing need for flexibility in manufacturing systems. Achieving flexibility in a cos...
ksInternational audienceA discrete-event system is a system whose behavior can be described by means...
We present an algebra of discrete timed input/output automata that may execute in the context of dif...
Abstract. This paper deals with the specification and analysis of Flex-ible Manufacturing Systems (F...
Using simulation models for the development and testing of control systems can have significant adva...
Process algebra is a theoretical framework for the modelling and analysis of the behaviour of concur...
Abstract. We define a set of process algebra operators (controllers) that mimic the security automat...
In this chapter we provide a framework within which concepts from the field of systems and control c...
New production systems are highly reconfigurable and interact with dynamic indus-trial environments....
We extend the treatment of algebra automata to automata employing algebras over arbitrary theories. ...
Wright, Thatcher and Mezei have built on the observation of B\:uchi that finite automata may be cons...
Manufacturing is transitioning from a mass production model to a service model in which facilities ‘...
In this chapter, the dynamics of manufacturing systems is characterized through the occurrence of ev...
In this chapter, the dynamics of manufacturing systems is characterized through the occurrence of ev...
Abstract. A language for representing timed automata is introduced. Its semantics i defined in terms...
There is an increasing need for flexibility in manufacturing systems. Achieving flexibility in a cos...
ksInternational audienceA discrete-event system is a system whose behavior can be described by means...
We present an algebra of discrete timed input/output automata that may execute in the context of dif...
Abstract. This paper deals with the specification and analysis of Flex-ible Manufacturing Systems (F...
Using simulation models for the development and testing of control systems can have significant adva...
Process algebra is a theoretical framework for the modelling and analysis of the behaviour of concur...
Abstract. We define a set of process algebra operators (controllers) that mimic the security automat...
In this chapter we provide a framework within which concepts from the field of systems and control c...