Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Adib Allahham

dblp:68/4987 · DBLP profile ↗
← Back
3ranked-venue papers
2as first author
0since 2021 · last 2018
0000-0002-6123-1086ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 2 · 1 first-authorArtificial intelligence and machine learning · 1 · 1 first-authorApplied, interdisciplinary, general and emerging computing · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
1 paper
Embedded and real-time systems · 50% Electronic design automation · 50%
Theoretical computer science
1 paper
Automated reasoning and model checking · 100%

Topics — the 3 heaviest of 3, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Embedded and real-time systems
discrete event systems
0.112007
Monitoring of a Class of Timed Discrete Events Systems · ICRA 2007
Electronic design automation › hardware verification and test
fault detection
0.112007
Monitoring of a Class of Timed Discrete Events Systems · ICRA 2007
Automated reasoning and model checking
reachability
0.012007
Monitoring of a Class of Timed Discrete Events Systems · ICRA 2007

Methods — techniques the papers use, named apart from their topics

stopwatch automata · 0.1reachability analysis · 0.1
YearPublicationVenuePosition
2018 Techno-Economic-Environmental Analysis of Integrated Operation of Gas and Electricity Networks
abstract
Future energy networks may need to have increased cross vector coupling as well as renewable generation to meet the requirements of carbon reduction. This will introduce complexities to the task of network operation especially if this must be achieved without cross vector communication. In this research, the mutual benefits of integrated operation of gas and electricity networks at both transmission and distribution levels in terms of techno-economic-environmental parameters using a whole system approach were investigated. A simulation framework was developed for this purpose and a case study of integrated gas and electricity networks at both transmission and distribution levels as well as several scenarios were designed. This also allowed an assessment of the impacts of transmission systems on distribution systems and vice versa. It was observed that each coupled network could support the operation of the other network in case of occurrence of any faults, and change of operating conditions or renewable generation. In the considered cases, integration of network operation increased the cost of operation of the networks, however, the integrated networks could continue to meet demand and decrease the carbon footprint.
Seyed Hamid Reza Hosseini, Adib Allahham, Phil Taylor
ISCAS2
2010 Monitoring of Timed Discrete Events Systems With Interrupts
abstract
A framework is introduced for monitoring the interrupting faults in the timed discrete events systems. We introduce the notion of acceptable behavior of the system subjected to these faults: permanent or intermittent. The acceptable behavior of a system is modeled by a stopwatch automaton. The timed sub-spaces in the locations of the automaton delimit exactly the range of the acceptable behavior. They are synthesized using the techniques of reachability analysis of stopwatch automata in a way to detect the system faults as early as possible.
Adib Allahham, Hassane Alla
IEEE Trans Autom. Sci. Eng.1
2007 Monitoring of a Class of Timed Discrete Events Systems
abstract
This paper extends the notion of residuals for fault detection, well known in the continuous system to the timed discrete events systems. The aim is to design the fault indicators, two problems are considered. Firstly, the dynamics of clocks which monitor the system must be sensible to the behavior change resulting from a fault. Secondly, we must specify the inequality clocks constraints for which the system is normal as long as they are satisfied. We introduce the notion of acceptable system behavior modeled by stopwatch automata. This behavior is supervised by two clocks for each interruptible task of the system. The time sub-spaces in the stopwatch automaton locations delimit exactly the range of acceptable behavior. They are synthesized using an algorithm based on the reachability analysis techniques of stopwatch automata. One of the main results of designing this time space is the detection the system faults as early as possible.
Adib Allahham, Hassane Alla
ICRA1