A ladder-shaped array is a subset of a rectangular array which looks like a Ferrers diagram corresponding to a partition of a positive integer. The ideals generated by the p-by-p minors of a ladder-type array of indeterminates in the corresponding polynomial ring have been shown to be hilbertian (i.e., their Hilbert functions coincide with Hilbert polynomials for all nonnegative integers) by Ab...

A new Petri-net-based top-down synthesis technique for supervisory control of Discrete Event Systems (DES) is proposed to solve the forbidden state problem. The supervisors obtained are compiled supervisors, whose control policy is represented as a net structure, as opposed to mapping supervisors, whose control policy is computed as a feedback function of the marking of the system. The compiled...

This paper describes the design and development of harvesting system for the gantry system to harvest eggplants. For this purpose, the harvesting robot was successfully designed and fabricated for the gantry system to harvest eggplants. The operation of the harvester was controlled by Programmable Logic Controller (PLC). Basically, the limit switches, DC motor, and relay are connected to the PL...

This paper presents a method of constructing the switching function using edge-valued decision diagrams. The proposed method is as following. The edge-valued decision diagram is a new data structure type of decision diagram which is recently used in constructing the digital logic systems based on the graph theory. Next, we apply edge-valued decision diagram to function minimization of digital l...

Building on work by Schild, De Giacomo and Lenzerini, we establish a tight connection between description logics and hybrid logics. The main aim of the paper is to provide a modal perspective on some of the distinguishing features of description logic. In particular, by working in a hybrid logic setting we are able to develop a model-theoretic understanding of both assertional and terminologica...

The goal of the paper is to manifest a special arrow diagram logic developed in mathematical category theory as capable to provide a general speci c ation framework for information system engineering We show that unexpectedly abstract ideas developed in categorical logic are of extremely high relevance for ap proaching some di cult speci cation problems in the eld Correspondingly the arrow thin...