The Experts below are selected from a list of 23679 Experts worldwide ranked by ideXlab platform
V K Bansal - One of the best experts on this subject based on the ideXlab platform.
-
Scheduling of repetitive construction projects using geographic information systems: an integration of critical path method and line of balance
Asian Journal of Civil Engineering, 2019Co-Authors: Anjul Tomar, V K BansalAbstract:Critical path method (CPM) is the widely used technique for scheduling of non-repetitive construction projects, on the other hand, line of balance (LOB) is used for scheduling of repetitive construction projects. There may exist repetitive and non-repetitive parts together in a construction project. In the present study, to schedule repetitive and non-repetitive parts of a construction project together, CPM and LOB techniques have been integrated within the geographic information systems (GIS) environment. The scheduling tool has been developed in which activities of a repetitive part are scheduled using CPM and different repetitive parts are scheduled using LOB. A sample project scheduled using CPM technique takes 520 days, however, if the same project is scheduled using the developed tool takes 214 days. Further, construction planning is not done in isolation, that is, without considering surroundings of a construction project under consideration. The scheduling tool developed in GIS environment considers the effect of surroundings on the developed integrated schedule. A link has been established between the activities of the developed schedule and corresponding 3D components in GIS environment to develop 4D model of Execution Sequence of a construction project. This facilitates in checking logical errors, resource continuity, and incompleteness of the developed integrated schedule.
-
application of geographic information systems in construction safety planning
International Journal of Project Management, 2011Co-Authors: V K BansalAbstract:Abstract Execution schedule and 2D drawings are generally used for hazards identification in the construction safety planning process. Planner visualises 2D drawings into a 3D model and mentally links its components with the respective activities defined in the schedule to understand the Execution Sequence in safety planning. Sequence interpretation and accordingly the hazards identification vary with the level of experience, knowledge and individual perspective of the safety planner. Therefore, researchers suggest the use of four dimensional (4D) modelling or building information modelling (BIM) to create the simulation of construction process by linking Execution schedule with the 3D model. Both however lack in the features like: generation and updating of schedule, 3D components editing, topography modelling and geospatial analysis within a single platform which is now a major requirement of the construction industry. This work facilitates 4D modelling, geospatial analysis and topography modelling in the development of safe Execution Sequence by using geographic information systems (GIS), both 3D model along with its surrounding topography and schedule were developed and linked together within the same environment. During safety review process if planned Sequence results a hazard situation, it may be corrected within the GIS itself before actual implementation. Paper also discusses the use of GIS in the development of safety database from which safety information are retrieved and linked with the activities of the schedule or components of a building model . 4D modelling along with topographical conditions and safety database in a single environment assist safety planner in examining what safety measures are required when , where and why . Developed methodology was tested on a real life project in India, lessons learned from the implementation have been discussed in the potential benefits and limitations section. At last, paper highlights major research areas for further improvements.
John S Baras - One of the best experts on this subject based on the ideXlab platform.
-
metric interval temporal logic based reinforcement learning with runtime monitoring and self correction
Advances in Computing and Communications, 2020Co-Authors: Zhenyu Lin, John S BarasAbstract:In this paper we present a modular Q-learning framework to deal with the robot task planning, runtime monitoring and self-correction problem. The task is specified using metric interval temporal logic (MITL) with finite time constraints. We first construct a runtime monitor automaton using three-valued LTL (LTL3), and a sub-task MITL monitor is constructed by decomposing and augmenting the monitor automaton. During the learning phase, a modular Q-learning approach is proposed such that each module could learn different sub-tasks. During runtime, the sub-task MITL monitors could monitor the Execution and guide the agent for possible self-correction if an error occurs. Our experiments show that under our framework, the robot is able to learn a feasible Execution Sequence that satisfies the given MITL specifications under finite time constraints. When the runtime environment becomes different than the learning environment and the original action will violate the specifications, the robotic agent is able to self-correct and accomplish the task if it is still possible.
-
planning and runtime monitoring of robotic manipulator using metric interval temporal logic
2019 IEEE International Systems Conference (SysCon), 2019Co-Authors: Zhenyu Lin, John S BarasAbstract:In this work, we present a two-phase planning and runtime monitoring framework for the robotic manipulator given a high-level task specification. In the planning phase, the task is given as a metric interval temporal logic (MITL) formula over a set of propositions satisfied at the regions of the environment. A timed automata based method is used to automatically generate a feasible Execution Sequence for the manipulator to complete the task with time constraints. For the runtime phase, the manipulator is modeled as a hybrid system and both a model monitor and a safety monitor are designed to ensure the verification results from planning phase apply to the runtime implementation while satisfying additional safety requirements. Our experiments on runtime monitoring of the manipulation task show that the monitors could successfully detect the error behaviors.
Zhenyu Lin - One of the best experts on this subject based on the ideXlab platform.
-
metric interval temporal logic based reinforcement learning with runtime monitoring and self correction
Advances in Computing and Communications, 2020Co-Authors: Zhenyu Lin, John S BarasAbstract:In this paper we present a modular Q-learning framework to deal with the robot task planning, runtime monitoring and self-correction problem. The task is specified using metric interval temporal logic (MITL) with finite time constraints. We first construct a runtime monitor automaton using three-valued LTL (LTL3), and a sub-task MITL monitor is constructed by decomposing and augmenting the monitor automaton. During the learning phase, a modular Q-learning approach is proposed such that each module could learn different sub-tasks. During runtime, the sub-task MITL monitors could monitor the Execution and guide the agent for possible self-correction if an error occurs. Our experiments show that under our framework, the robot is able to learn a feasible Execution Sequence that satisfies the given MITL specifications under finite time constraints. When the runtime environment becomes different than the learning environment and the original action will violate the specifications, the robotic agent is able to self-correct and accomplish the task if it is still possible.
-
planning and runtime monitoring of robotic manipulator using metric interval temporal logic
2019 IEEE International Systems Conference (SysCon), 2019Co-Authors: Zhenyu Lin, John S BarasAbstract:In this work, we present a two-phase planning and runtime monitoring framework for the robotic manipulator given a high-level task specification. In the planning phase, the task is given as a metric interval temporal logic (MITL) formula over a set of propositions satisfied at the regions of the environment. A timed automata based method is used to automatically generate a feasible Execution Sequence for the manipulator to complete the task with time constraints. For the runtime phase, the manipulator is modeled as a hybrid system and both a model monitor and a safety monitor are designed to ensure the verification results from planning phase apply to the runtime implementation while satisfying additional safety requirements. Our experiments on runtime monitoring of the manipulation task show that the monitors could successfully detect the error behaviors.
Alper Okcan - One of the best experts on this subject based on the ideXlab platform.
-
Collaborative Business Process Support in eHealth: Integrating IHE Profiles Through ebXML Business Process Specification Language
IEEE Transactions on Information Technology in Biomedicine, 2008Co-Authors: Asuman Dogac, Yildiray Kabak, Tuncay Namli, Alper OkcanAbstract:Integrating healthcare enterprise (IHE) specifies integration profiles describing selected real world use cases to facilitate the interoperability of healthcare information resources. While realizing a complex real-world scenario, IHE profiles are combined by grouping the related IHE actors. Grouping IHE actors implies that the associated business processes (IHE profiles) that the actors are involved must be combined, that is, the choreography of the resulting collaborative business process must be determined by deciding on the Execution Sequence of transactions coming from different profiles. There are many IHE profiles and each user or vendor may support a different set of IHE profiles that fits to its business need. However, determining the precedence of all the involved transactions manually for each possible combination of the profiles is a very tedious task. In this paper, we describe how to obtain the overall business process automatically when IHE actors are grouped. For this purpose, we represent the IHE profiles through a standard, machine-processable language, namely, Organization for the Advancement of Structured Information Standards (OASIS) ebusiness eXtensible Markup Language (ebXML) Business Process Specification (ebBP) Language. We define the precedence rules among the transactions of the IHE profiles, again, in a machine-processable way. Then, through a graphical tool, we allow users to select the actors to be grouped and automatically produce the overall business process in a machine-processable format.
Liang Zhang - One of the best experts on this subject based on the ideXlab platform.
-
verification of behavioral soundness for artifact centric business process model with synchronizations
Future Generation Computer Systems, 2019Co-Authors: Guosheng Kang, Liqin Yang, Liang ZhangAbstract:Abstract A correct business process model is the key to achieving a business goal through business process management. In recent years, artifacts have been proposed as a paradigm to capture dynamic and inter-organizational processes in a more natural way. In artifact-centric modeling approach, a business process is modeled as interaction of the involved artifact lifecycles, in which the control flows are implicit in business rules. The interaction significantly complicates the process Execution due to synchronizations, which poses great challenges for the verification of one fundamental correctness criteria: behavioral soundness. This paper aims to address this problem, i.e., the verification of behavioral soundness for an artifact-centric process model with synchronizations. First, each artifact lifecycle involved is mapped to a Petri net representation. Then we propose the rules to integrate the Petri nets into a workflow net based on the synchronization constraints. With the workflow net, a reachability graph is calculated to derive all the implicitly specified service Execution Sequences. Finally, the behavioral soundness (i.e., proper completion) is checked by verifying whether every specified service Execution Sequence can complete properly or not from its control flow and data flow respectively. A case study is presented to demonstrate the effectiveness of our approach.