Alexey Voronov

Learn More
In order to decrease time to market for products it is important to decrease the time for implementation and debugging of the control logic that are used to manufacture the products. In this paper, an approach based on a high-level specification of the relations between process operations and resources and the use of formal verification is presented. By(More)
Models of configurable products can have hundreds of variables and thousands of configuration constraints. A product engineer usually has a limited responsibility area, and thus is interested in only a small subset of the variables that are relevant to the responsibility area. It is important for the engineer to have an overview of possible products with(More)
Notice: Changes introduced as a result of publishing processes such as copy-editing and formatting may not be reflected in this document. For a definitive version of this work, please refer to the published source. Please note that access to the published version might require a subscription. Chalmers Publication Library (CPL) offers the possibility of(More)
Large datasets containing many spectra commonly associated with in situ or operando experiments call for new data treatment strategies as conventional scan by scan data analysis methods have become a time-consuming bottleneck. Several convenient automated data processing procedures like least square fitting of reference spectra exist but are based on(More)
An interaction protocol for cooperative platoon merge on highways is proposed. The interaction protocol facilitates a challenge scenario for the Grand Cooperative Driving Challenge (GCDC) 2016, where two platoons running on separate lanes merge into one platoon due to a roadwork in one of the lanes. Detailed interaction procedures, described with state(More)
Despite the existing regulation efforts and measures, vehicles with dangerous goods still pose significant risks on public safety, especially in road tunnels. Solutions based on cooperative intelligent transportation system (C-ITS) are promising measures, however, they have received limited attention. We propose C-ITS applications that coordinate dangerous(More)
In the development of complex products product configuration systems are often used to support the development process. Item Usage Rules (IURs) are conditions for including specific items in products bills of materials based on a high-level product description. Large number of items and significant complexity of IURs make it difficult to maintain and(More)