System-Performance Engineering (SysPE) encompasses modeling formalisms, methods,
techniques, and industrial practices to design systems for performance, where performance …

LSAT (Logistics Specification and Analysis Tool) is a tool for rapid design-space exploration
of supervisory controllers that steer the product logistics and orchestrate the behavior in …

Switching max-plus linear system (SMPLS) models are an apt formalism for performance
analysis of discrete-event systems. SMPLS analysis is more scalable than analysis through …

A key challenge in the synthesis and subsequent analysis of supervisory controllers is the
impact of state-space explosion caused by concurrency. The main bottleneck is often the …

Efficient manufacturing of products has become more important than ever. Manufacturing
systems that produce these products are becoming increasingly complex. They need to be …

One of the challenges in the design of supervisors with optimal throughput for manufacturing
systems is the presence of behavior outside the control of the supervisor. Uncontrollable …

Modern high-tech flexible manufacturing systems (FMS) such as lithography systems,
professional printers, X-ray machines, and electron microscopes are characterized by an …

The activity framework is a promising model-based design approach for Flexible
Manufacturing Systems (FMS). It is used in industry for specification and analysis of FMS. It …

The Logistics Specification and Analysis Tool (LSAT) is a modelbased engineering tool
used for design-space exploration of flexible manufacturing systems. LSAT provides domain …

In the globalized knowledge economy, big data analytics have been widely applied in
diverse areas. A critical issue in big data analysis on personal information is the possible …