Introduction to discrete event system-学习笔记 4.8

最新推荐文章于 2021-08-16 21:56:44 发布

weixin_30656145

最新推荐文章于 2021-08-16 21:56:44 发布

阅读量131

点赞数

CC 4.0 BY-SA版权

原文链接：http://www.cnblogs.com/snailjn/archive/2013/04/08/3006858.html

本文介绍使用自动机形式化方法解决三类验证问题：安全性验证（避免非法行为）、活性验证（防止死锁和活锁）及诊断（检测不可观测事件）。通过形式语言与自动机理论研究离散事件系统的逻辑行为。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

1.Using the automaton formalism,we will present solution techniques for three kinds of verification problems.those of safety(avoidance of illegal behavior),liveness(avoidance of deadlock and livelock),and diagnosis(ability to detect occurrences of unobservable events).

2.One of the formal ways to study the logical behavior of DES is based on the theories of languages and automata.

next-P77

转载于:https://www.cnblogs.com/snailjn/archive/2013/04/08/3006858.html

评论

被折叠的条评论为什么被折叠?

到【灌水乐园】发言

查看更多评论

添加红包

成就一亿技术人!

hope_wisdom

发出的红包

实付元

使用余额支付

点击重新获取

扫码支付

钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。