Time filter

Source Type

London, United Kingdom

Fumagalli I.,Automata | Piroddi L.,Polytechnic of Milan | Cordone R.,University of Milan
2007 European Control Conference, ECC 2007 | Year: 2015

In Petri nets modeling and control of flexible manufacturing systems, the occurrence of deadlock states must be avoided with suitable design techniques. Many of these are based on siphon control, i.e. they implement generalized mutual exclusion constraints that avoid the emptying of siphons. If all minimal siphons are controlled, an excessive computational load may be required to complete the control sub-net and the latter may turn out to be over-sized. A classification of minimal siphons that selects a minimal number of siphons for the control design is proposed in this work. The classification can be exploited to obtain minimum size maximally permissive controllers. Some examples are provided to demonstrate the feasibility of the approach. © 2007 EUCA. Source

Fumagalli I.,Automata | Piroddi L.,Polytechnic of Milan | Cordone R.,University of Milan
Proceedings of the 2010 American Control Conference, ACC 2010 | Year: 2010

Siphon control is a widespread methodology for deadlock prevention (DP) in Petri net (PN) models. Besides achieving liveness or DP, control methods should also be evaluated regarding their permissivity (in terms of the number of allowed states) and constraint redundancy. This work introduces a partitioning of the reachability graph based on strongly connected components that nicely and compactly illustrates the PN's evolution behavior, especially regarding liveness, deadlocks and siphon-related properties. The resulting reduced graph is used as a tool for the analysis of DP methods in bounded PNs, to reveal the use of non-maximally permissive constraints and constraint overlapping. © 2010 AACC. Source

Skrzypczyk K.,Silesian University of Technology | Mellado M.,Automata
Archives of Control Sciences | Year: 2014

This paper addresses the problem of resource division for robotic agents in the framework of Multi-Agent System. Knowledge of the environment represented in the system is uncertain, incomplete and distributed among the individual agents that have both limited sensing and communication abilities. The pick-up-and-collection problem is considered in order to illustrate the idea presented. In this paper a framework for cooperative task assignment to individual agents is discussed. The process of negotiating access to common resources by intercommunicating agents is modeled and solved as a game against Nature. The working of the proposed system was verified by multiple simulations. Selected, exemplary simulations are presented in the paper to illustrate the approach discussed. Source

Chetpattananondh K.,Prince of Songkla University | Tapoanoi T.,Automata | Phukpattaranont P.,Prince of Songkla University | Jindapetch N.,Prince of Songkla University
Sensors and Actuators, A: Physical | Year: 2014

A water level measurement using an interdigital capacitive sensor with low-cost, low-energy, good repeatability, high linearity, and ease of installation is proposed with a support of experimental results. This sensor comprises a printed circuit board (PCB) with configuration of two interpenetrating comb electrodes. The comb electrode is 70-80 mm width, 300 mm height with 1-2 mm spacing between each comb. This configuration of electrode causes the capacitance between comb electrodes to vary by the water level. Microcontroller is used to calculate the capacitance between comb electrodes in terms of a discharge time correlated to the water level. A practical water level measurement technique using two comb electrodes designated as level and reference sensors is presented. This technique can directly be applied to water with different conditions without recalibration. This sensor is able to measure absolute levels of water with 0.2 cm resolution over 30 cm range. In addition, it is also sensitive enough to trace the variability of water level. A flood monitoring simulation is carried out in wave flume where this sensor is used to detect the rising wave. © 2014 Elsevier B.V. Source

Automata | Date: 2015-09-14

Downloadable software in the nature of a mobile application for providing information related to the use of medical marijuana.

Discover hidden collaborations