Search results for "program"
showing 10 items of 5938 documents
Robust Network Agreement on Logical Information
2011
Abstract Logical consensus is an approach to distributed decision making which is based on the availability of a network of agents with incomplete system knowledge. The method requires the construction of a Boolean map which defines a dynamic system allowing the entire network to consent on a unique, global decision. Previous work by the authors proved the method to be viable for applications such as intrusion detection within a structured environment, when the agent's communication topology is known in advance. The current work aims at providing a fully distributed protocol, requiring no a priori knowledge of each agent's communication neighbors. The protocol allows the construction of a r…
Dynamic Design Intents Capture with Formal Ontology and Perdurants Object Concept for Collaborative Product Design
2016
Loss of design intents and related information throughout the lifecycle of products are common. Capturing design intents of an assembly, which include a temporal (dynamic) stages, is even harder. This research work aims to enhance the spatiotemporal mereotopology (STM) based ontology in tune with the contemporary efforts in this research domain. The main idea with such STM ontology is to capture dynamic design intents and develop an integrated data translation framework from Computer Aided Design (CAD) system to a visualization system. This integration framework is intended to enhance design sharing in a collaborative environment. In this paper, the framework is demonstrated with a simple m…
Stealthy Attacks in Cloud-Connected Linear Impulsive Systems
2018
This paper studies a security problem for a class cloud-connected multi-agent systems, where autonomous agents coordinate via a combination of short-range ad-hoc commu- nication links and long-range cloud services. We consider a simplified model for the dynamics of a cloud-connected multi- agent system and attacks, where the states evolve according to linear time-invariant impulsive dynamics, and attacks are modeled as exogenous inputs designed by an omniscent attacker that alters the continuous and impulsive updates. We propose a definition of attack detectability, characterize the existence of stealthy attacks as a function of the system parameters and attack properties, and design a fami…
Distributed adaptive leader–follower and leaderless consensus control of a class of strict-feedback nonlinear systems : a unified approach
2020
In this paper, distributed adaptive consensus for a class of strict-feedback nonlinear systems under directed topology condition is investigated. Both leader–follower and leaderless cases are considered in a unified framework. To design distributed controller for each subsystem, a local compensatory variable is generated based on the signals collected from its neighbors. Such a technique enables us to solve the leader–follower consensus and leaderless consensus problems in a unified framework. And it further allows us to treat the leaderless consensus as a special case of the leader–follower consensus. For leader–follower consensus, the assumption that the leader trajectory is linearly para…
A methodology for evaluating the flexibility potential of domestic air-conditioning systems
2020
The paper presents a methodology for quantifying the electrical flexibility potential of air-conditioning systems (ACS) installed in residential buildings according to the building envelope characteristics and the ACS performance. In order to provide a thorough analysis of the issue, the ACS baseline consumption referred to the indoor temperature of 24°C has been computed for three typical residential buildings built in the South of Italy over different periods. The baseline consumption was used as a reference to estimate the effect of the set point temperature change on the ACS power profile. The results showed that increasing the set-point temperature of ACS by 2°C and 4°C leads to a redu…
Security Assessment of a Distributed, Modbus-based Building Automation System
2017
Building automation systems were designed in an era when security was not a concern as the systems were closed from outside access. However, multiple benefits can be found in connecting such systems over the Internet and controlling a number of buildings from a single location. Security breaches towards building automation systems are increasing and may cause direct or indirect damages to the target organization or even the residents of the building. This work presents an approach to apply a method of data flow recognition and environment analysis to building automation through a case study on a distributed building automation system utilizing the Modbus protocol at the sites and presents s…
Collaborative engineering decision-making for building information channels and improving Web visibility of product manufacturers
2018
Abstract Product manufacturers have spent the last years improving productivity and process efficiency in order to face increasingly competitive markets. Today, the visibility of technological innovations has become essential to achieve the targeted market. It is now very difficult for a product manufacturer to reach customers without owning a website that is visible on search engine results pages. The goal of this paper is to build information channels between a company and its customers through improving both a company’s content of information on the Web and its website rank on the Internet through search engine results pages. Company information and knowledge are distributed through mult…
Predictive Model Markup Language (PMML) Representation of Bayesian Networks: An Application in Manufacturing
2018
International audience; Bayesian networks (BNs) represent a promising approach for the aggregation of multiple uncertainty sources in manufacturing networks and other engineering systems for the purposes of uncertainty quantification, risk analysis, and quality control. A standardized representation for BN models will aid in their communication and exchange across the web. This article presents an extension to the predictive model markup language (PMML) standard for the representation of a BN, which may consist of discrete variables, continuous variables, or their combination. The PMML standard is based on extensible markup language (XML) and used for the representation of analytical models…
Parametric Hull Design with Rational Bézier Curves
2021
AbstractIn this paper, a tool able to support the sailing yacht designer during the early stage of the design process has been developed. Quadratic and cubic Rational Bézier curves have been selected to describe the main curves defining the hull of a sailing yacht. The adopted approach is based upon the definition of a set of parameters, say the length of water line, the beam of the waterline, canoe body draft and some dimensionless coefficients according to the traditional way of the yacht designer. Some geometrical constraints imposed on the curves (e.g. continuity, endpoint angles) have been conceived aimed to avoid unreasonable shapes. These curves can be imported in any commercial CAD …
Regenerative scheduling problem in engineer to order manufacturing: an economic assessment
2021
The dynamic production scheduling is a very complex process that may arise from the occurrence of unpredictable situations such as the arrival of new orders besides the ones already accepted. As a consequence, companies may often encounter several difficulties to make decisions about the new orders acceptance and sequencing along with the production of the existing ones. With this recognition, a mathematical programming model for the regenerative scheduling problem with deterministic processing times is formulated in the present paper to evaluate the economic advantage of accepting a new order in an engineer to order (ETO) manufacturing organization. The real case of an Italian ETO company …