For decades now, manufacturing systems have grown in size and complexity. Between new consumption habits hypercompetitive markets, started a race towards the industry of future. Still, many technological societal issues are paving their way: connectivity, resilience human integration being among most critical ones. The idea this paper is to bring framework help answering these by bringing syste...

Neural networks (NNs) are emerging as powerful tools to represent the dynamics of control systems with complicated physics or black-box components. Due complexity NNs, however, existing methods unable synthesize complex behaviors guarantees for NN dynamic models (NNDMs). This work introduces a synthesis framework stochastic NNDMs performance guarantees. The focus is on specifications expressed ...

Microprocessor-based systems are increasingly being used to provide improved security. The t c improvements in security are often accomplished at the cost of increased complexity, as when a smar ard microprocessor replaces a simple password system for network access control. Formal methods l m are recognized as an effective means of assuring the security of systems, and have been used in severa...

Technologies used in ICS and Smart Grid are overlapping. The most discussed attacks on ICSs Stuxnet Black energy malware. anatomy of these not only pointed out that the security is prime concern but also demanded to execute a proactive approach practicing security. Honeypot implement defensive measures for Honeynet group released labelled as Conpot 2013. Though low interactive Honeypot, it emul...

The paper deals with practical aspects of developing control systems. We briefly discuss safety-critical systems, we examine the use of formal methods as a possible technique for increasing safety and reliability (by allowing a formal specification of the initial requirements of the system and by avoiding design errors) and we propose a design methodology for such systems based on data-flow net...

Hardware/software co-design is a modern technique for designing complex electronic systems constituted by hardware and software. This article shows a co-design methodology application in fuzzy systems implementation. It starts with a fuzzy system formal description and different hardware/software implementation alternatives are analyzed according to their cost and performance.