Untitled

Holloway, L.E.; Krogh, Bruce H.; Giua, Alessandro

doi:10.1023/a:1008271916548

Cited by 371 publications

(26 citation statements)

References 83 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Where there will be necessity to develop the control of the manufacturing process, it will be the Control Theoretic Approach, where there is a "model of the plant dynamics and a specification for the desired closed-loop behavior". "There is a clear distinction between the plant and the controller and the information flow between the plant and controller is modeled explicitly" [10].…”

Section: Types Of Petri Netsmentioning

confidence: 99%

A Methodology for the Development of Interoperable BIM-based Cyber-Physical Systems

Maciel¹

2018

Proceedings of the International Symposium on Automation and Robotics in Construction (IAARC)

View full text Add to dashboard Cite

Building Information Modeling (BIM)-based processes are increasingly being adopted worldwide. With it, possibilities to exploit digitization had been appearing for the AEC sector. In that context, the present work aims to investigate how, and in which form, a Cyber-Physical System (CPS), one of many different but complementary technologies associated with the future of manufacturing, could be employed in the Construction industry. Recognizing that the core of CPS should be the dynamics of construction processes, the initial focus is in how to develop Process Data Models (virtual) that could communicate with Product Data Models (BIM models), and receive/send data in almost real-time from/for the existent hardware (sensors and actuators) in the physical production processes. This article present some preliminary work based on the standardized methodology of IDM/MVD, which are part of the buildingSMART solution for interoperability along with Industry Foundation Class (IFC) data schema. The proposed methodology considers an IDM modelled in Business Process Modeling and Notation (BPMN) language in such detail as to expose the workflow of production. The contribution in this context is in mapping production processes in BPMN notation into Petri Nets (PN) semantics. Petri Nets are an adequate model to construction processes, with precise semantics and largely used in the simulation of discrete events. With PN models it would be possible to develop the BIM-based control strategy, and test and implement it in real controllers. An illustrative example is provided in the context of automating cut and bend of rebar.

show abstract

Section: Types Of Petri Netsmentioning

confidence: 99%

A Methodology for the Development of Interoperable BIM-based Cyber-Physical Systems

Maciel¹

2018

Proceedings of the International Symposium on Automation and Robotics in Construction (IAARC)

View full text Add to dashboard Cite

show abstract

“…Let y S c be the orbit 4 of the controller system. The problem is to compute C; C 0 such that y S c y.…”

Section: Traditional Control Objectivesmentioning

confidence: 99%

“…Different theories for control of Discrete Event Systems have existed since the 1980s [3], [4], [5]. Here, we choose to specify the plant in SIGNAL and the control synthesis, as well as verification performed on a logical abstraction of this program, called a polynomial dynamical system (PDS), over Z Z= 3Z Z (i.e., integers modulo 3: {-1,0,1}).…”

Section: Introduction and Motivationsmentioning

confidence: 99%

Incremental design of a Power transformer station controller using a controller synthesis methodology

Marchand

Samaan

1999

FM’99 — Formal Methods

View full text Add to dashboard Cite

AbstractÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as simple properties, named control objectives, that the controlled plant has to satisfy. Then, using algebraic techniques, the controller is automatically derived from this set of control objectives. In our case, the plant is specified at a high level, using the data-flow synchronous SIGNAL language, and then by its logical abstraction, named polynomial dynamical system. The control objectives are specified as invariance, reachability, ... properties, as well as partial order relations to be checked by the plant. The control objectives equations are synthesized using algebraic transformations.

show abstract

“…Synthesis has applications in the field of process discovery to reconstruct a model from its execution traces [1]. In [9], it is employed in supervisory control for discrete event systems and in [6] it is used for the synthesis of speed-independent circuits. This paper deals with the computational complexity of synthesis for types of T2019b Petri nets, that is, Petri nets for which there is a positive integer b restricting the number of tokens on every place in any reachable marking.…”

Section: Introductionmentioning

confidence: 99%

Hardness Results for the Synthesis of b-bounded Petri Nets

Tredup

2019

Application and Theory of Petri Nets and Concurrency

View full text Add to dashboard Cite

Synthesis for a type τ of Petri nets is the following search problem: For a transition system A, find a Petri net N of type τ whose state graph is isomorphic to A, if there is one. To determine the computational complexity of synthesis for types of bounded Petri nets we investigate their corresponding decision version, called feasibility. We show that feasibility is NP-complete for (pure) b-bounded P/T-nets if b ∈ N + . We extend (pure) b-bounded P/T-nets by the additive group Z b+1 of integers modulo (b + 1) and show feasibility to be NP-complete for the resulting type. To decide if A has the event state separation property is shown to be NP-complete for (pure) b-bounded and group extended (pure) bbounded P/T-nets. Deciding if A has the state separation property is proven to be NP-complete for (pure) b-bounded P/T-nets.

show abstract

Untitled

Cited by 371 publications

References 83 publications

A Methodology for the Development of Interoperable BIM-based Cyber-Physical Systems

A Methodology for the Development of Interoperable BIM-based Cyber-Physical Systems

Incremental design of a Power transformer station controller using a controller synthesis methodology

Hardness Results for the Synthesis of b-bounded Petri Nets

Contact Info

Product

Resources

About