1-dependent inequalities. On the contrary, for the method based on inequality analysis, it germinates on the ground of algebra theory, tackling both L1- and L2-dependent inequalities. Experimental results show the effectiveness and efficiency of supervisor simplification based on inequality analysis.">

An approach to specification simplification in automated manufacturing systems using invariance and inequality analysis (original) (raw)

IEEE Account

Purchase Details

Profile Information

Need Help?

A not-for-profit organization, IEEE is the world's largest technical professional organization dedicated to advancing technology for the benefit of humanity.
© Copyright 2026 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.