Flexible automated warehouse: a literature review and an innovative framework
L Custodio, R Machado - The International Journal of Advanced …, 2020 - Springer
The logistics market has been impacted by increase of e-commerce, mass customization,
omni-channel distribution, and just-in-time philosophy. In order to attend to this dynamic …
omni-channel distribution, and just-in-time philosophy. In order to attend to this dynamic …
An overview of model checking practices on verification of PLC software
Programmable logic controllers (PLCs) are heavily used in industrial control systems,
because of their high capacity of simultaneous input/output processing capabilities …
because of their high capacity of simultaneous input/output processing capabilities …
Automated test suite generation for time-continuous simulink models
All engineering disciplines are founded and rely on models, although they may differ on
purposes and usages of modeling. Interdisciplinary domains such as Cyber Physical …
purposes and usages of modeling. Interdisciplinary domains such as Cyber Physical …
Key management for heterogeneous ad hoc wireless networks
Since its birth more than two decades ago, public key cryptography has been recognized as
one of the most effective mechanisms for providing fundamental security services including …
one of the most effective mechanisms for providing fundamental security services including …
A survey of static formal methods for building dependable industrial automation systems
Industrial automation systems (IAS) need to be highly dependable; they should not merely
function as expected but also do so in a reliable, safe, and secure manner. Formal methods …
function as expected but also do so in a reliable, safe, and secure manner. Formal methods …
Search-based automated testing of continuous controllers: Framework, tool support, and case studies
Context Testing and verification of automotive embedded software is a major challenge.
Software production in automotive domain comprises three stages: Developing automotive …
Software production in automotive domain comprises three stages: Developing automotive …
Improving fault localization for Simulink models using search-based testing and prediction models
One promising way to improve the accuracy of fault localization based on statistical
debugging is to increase diversity among test cases in the underlying test suite. In many …
debugging is to increase diversity among test cases in the underlying test suite. In many …
Probabilistic Boolean network modeling and model checking as an approach for DFMEA for manufacturing systems
PJ Rivera Torres, EI Serrano Mercado… - Journal of Intelligent …, 2018 - Springer
Modeling manufacturing processes assists the design of new systems, allowing predictions
of future behaviors, identifying improvement areas and evaluating changes to existing …
of future behaviors, identifying improvement areas and evaluating changes to existing …
Mil testing of highly configurable continuous controllers: scalable search using surrogate models
Continuous controllers have been widely used in automotive domain to monitor and control
physical components. These controllers are subject to three rounds of testing: Model-in-the …
physical components. These controllers are subject to three rounds of testing: Model-in-the …
Improve model testing by integrating bounded model checking and coverage guided fuzzing
Y Yang - Electronics, 2023 - mdpi.com
Eectromechanical systems built by Simulink or Ptolemy have been widely used in industry
fields, such as autonomous systems and robotics. It is an urgent need to ensure the safety …
fields, such as autonomous systems and robotics. It is an urgent need to ensure the safety …