Nga Nguyen

@inproceedings{taleb_2936,

title = {Holonic Energy Management Systems: Towards Flexible and Resilient Smart Grids},

author = {Ihab Taleb and Guillaume Guérard and Frédéric Fauberteau and Nga Nguyen},

url = {https://link.springer.com/chapter/10.1007/978-3-031-55326-4_5},

year  = {2024},

date = {2024-03-01},

booktitle = {International Conference on Agents and Artificial Intelligence},

volume = {14546},

pages = {95-112},

publisher = {Springer},

address = {Lisbon, Portugal},

edition = {LNCS},

abstract = {The increasing global warming and soaring fossil fuel prices have made energy generation minimization a crucial objective. As a result, the relevance of smart grids has significantly grown, especially in the context of regulating energy demand based on available resources. This necessitates the implementation of Demand Side Management (DSM) tools for effective regulation. While various models and architectures have been developed for smart grids, the utilization of holonic architectures remains limited in existing literature. In this paper, we propose a holonic architecture specifically tailored for smart grids, which proves to be highly advantageous. Holonic architectures are particularly valuable in smart grids as they enable seamless operation among different actors, even during technical challenges. Our proposed model consists of interconnected agents forming holons, with five agents working in tandem to ensure flexibility across multiple aspects. We have tested this model in three different scenarios. The first scenario represents a healthy grid. The second scenario simulates a grid with production mismanagement. Lastly, the third one simulates a grid experiencing a region-specific blackout. Results show how the grid distributes the available energy depending on the available production, storage (if any) and the assurance of the distribution across the various requesting holons.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{celia_2314,

title = {Tala Box: an Interactive Embedded System to Accompany Patients with Cognitive Disorders},

author = {Sa?chez-Girón Coca Celia and Luc Perera and Mathis Boiteau and Antoine Costanza and Jérôme Grison and Sarnette Emmanuel and Michèle Kanhonou and Frédéric Fauberteau and Nga Nguyen and Jouvelot Pierre},

url = {https://hal-mines-paristech.archives-ouvertes.fr/hal-04071711},

issn = {979-8-4007-0102-3},

year  = {2023},

date = {2023-06-01},

booktitle = {IEEE/ACM international conference on Connected Health: Applications, Systems and Engineering Technologies},

address = {Orlando (Florida), United States},

abstract = {Given the lack of drugs to treat cognitive deficit disorders, nonpharmacological approaches have become popular to address these pathologies. In particular, music therapy has been successfully used with Alzheimer's patients to improve their mood and functional abilities. The Tala Sound project studies whether non-Western music from the southern regions of India can be used to improve the mood and functional abilities of Western people suffering from Alzheimer's disease. This traditional style of music, called Carnatic music, is based on specific rhythm sequences, called "talas", that have an irregular rhythm compared to the ones found in Western music. In this paper, we describe the Tala Box, a new multimedia sensory device with which patients can interact while a Carnatic song is being played. The motivation for the development of this embedded system is the intent, in addition to the unusual nature of the music played, to use motor and cognitive stimulation to better engage Alzheimer's patients and, hopefully, improve their mood and mental state. Preliminary testing with healthy seniors has shown great interest in the Tala Box.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{raynaud_2317,

title = {Attack Scenarios Generation Algorithm Based on Discrete Event System Formalism},

author = {Alexis Raynaud and Théo Serru and Nga Nguyen},

url = {http://www.ada-europe.org/conference2023/media/AEiC_2023_Final_Program.pdf},

year  = {2023},

date = {2023-06-01},

booktitle = {Challenges and New Approaches for Dependable and Cyber-Physical System Engineering (DeCPS 2023)},

address = {Lisbon, Portugal},

abstract = {To help automatize the security risk assessment process of Cyber-Physical Systems (CPS), we propose a tool based on Discrete Event Systems (DES) to model the architecture and the behavior of CPS in the presence of cyberattacks. 

Then, we present a lightweight algorithm to generate all the attack scenarios threatening a system, i.e. the sequences of attacks leading to a critical state (e.g. loss of control, collision, etc.).

This kind of generation being prone to combinatorial explosion, our algorithm embeds state-space reduction capabilities focused on the specificities of cyber-physical attacks.

Finally, we illustrate the performance of our algorithm on a case study: the navigation system of an autonomous vessel.

This work can be seen as an alternative to heavy tools expressed in specific languages.

It is open source and aims to give a good compromise between expressiveness, modeling time and computational power.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{taleb_2073,

title = {A holonic multi-agent architecture for smart grids},

author = {Ihab Taleb and Guillaume Guérard and Frédéric Fauberteau and Nga Nguyen},

url = {https://icaart.scitevents.org/},

issn = {978-989-758-547-0},

year  = {2023},

date = {2023-02-01},

booktitle = {International Conference on Agents and Artificial Intelligence},

address = {Lisbon, Portugal},

abstract = {The global warming and the increase of fossil fuel prices make the minimization of energy generation an important objective. Thus, smart grids are becoming more and more relevant in a context where we want to regulate the demand according to the available energy. This regulation can be operated thanks to Demand Side Management (DSM) tools. While different models and architectures have been developed for smart grids, only few papers used holonic architectures. For this, we propose in this paper a holonic architecture for smart grids. This type of architectures is relevant to smart grids as it allow the various actors in the grids to work even in the cases of technical problems. Holons in the proposed model are composed of five interconnecting agents that ensure flexibility on the various aspects. This model has been tested and has proven to work on 3 different scenarios. The first scenario simulates a grid in its healthy state. The second one simulates a grid where a region can be disconnected from a blackout for example. The third one simulates a grid with production mismanagement. Results show how the grid distributes the available energy depending on the available production, priorities (if any) and the assurance of the distribution across the various requesting holons.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{taleb_2237,

title = {A holonic multi-agent architecture for smart grids},

author = {Ihab Taleb and Guillaume Guérard and Frédéric Fauberteau and Nga Nguyen},

url = {http://www.wikicfp.com/cfp/servlet/event.showcfp?copyownerid=90704&eventid=167079},

year  = {2023},

date = {2023-02-01},

booktitle = {International Conference on Agents and Artificial Intelligence},

address = {Lisbon, Portugal},

abstract = {The global warming and the increase of fossil fuel prices make the minimization of energy generation animportant objective.  Thus, smart grids are becoming more and more relevant in a context where we want toregulate the demand according to the available energy. This regulation can be operated thanks to Demand SideManagement (DSM) tools.  While different models and architectures have been developed for smart grids,only few papers used holonic architectures. For this, we propose in this paper a holonic architecture for smartgrids.  This type of architectures is relevant to smart grids as it allows the various actors in the grids to workeven in the cases of technical problems.  Holons in the proposed model are composed of five interconnectingagents that ensure flexibility on the various aspects.  This model has been tested and has proven to work on3 different scenarios.   The first scenario simulates a grid in its healthy state.   The second one simulates agrid where a region can be disconnected from a blackout for example.  The third one simulates a grid withproduction mismanagement.   Results show how the grid distributes the available energy depending on theavailable  production,  priorities  (if  any)  and  the  assurance  of  the  distribution  across  the  various  requestingholons.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{guerard_1831,

title = {Modélisation Multi-Agent pour les Réseaux Energétique Insulaires},

author = {Guillaume Guérard and Ihab Taleb and Frédéric Fauberteau and Nga Nguyen},

url = {https://ci.mines-stetienne.fr/pfia2022/conferences/jfsma/},

year  = {2022},

date = {2022-06-01},

booktitle = {Journées Francophones sur les Systèmes Multi-Agents},

address = {Saint-Etienne, France},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{talbi_1741,

title = {Feature Importance And Deep Learning For Android Malware Detection},

author = {Adam Talbi and Arthur Viens and Louis-Clément Leroux and Morgane François and Mathias Caillol and Nga Nguyen},

url = {https://icissp.scitevents.org/Home.aspx},

year  = {2022},

date = {2022-02-01},

booktitle = {International Conference on Information Systems Security and Privacy},

address = {Vienna, Austria},

abstract = {Effective and efficient malware detection is key in today's world to prevent systems from being compromised, to protect personal user data, and to tackle other security issues. In this paper, we worked on Android malware detection by using static analysis features and deep learning methods to separate benign applications from malicious ones. Custom feature vectors are extracted from the Drebin and the AndroZoo dataset and different data science methods of feature importance are used to improve the results of Deep Neural Network classification. 

Experimental results on the Drebin dataset were significant with 99.31% accuracy in malware detection. We extended our work on more recent applications with a complete pipeline for the AndroZoo dataset, with about 40,000 APKs used from 2014 to 2021 pre-tagged as reported malicious or not. The pipeline includes static features extracted from the manifest file and bytecode such as suspicious behaviors, restricted and suspicious API calls, etc. The accuracy result for AndroZoo is 97.7%, confirming the power of deep learning on Android malware detection.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nguyen_1596,

title = {RobAFIS: Lessons Learned from a Robotic Systems Engineering Challenge},

author = {Nga Nguyen},

url = {https://2021.ieeeisse.org/wp-content/uploads/sites/37/2021/08/ISSE_2021_Program-02.pdf},

year  = {2021},

date = {2021-09-01},

booktitle = {2021 International Symposium on Systems Engineering Proceedings},

address = {Vienna, Austria},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nguyen_2612,

title = {A study on SysML and AltaRica models transformation},

author = {Nga Nguyen and Faïda Mhenni and Jean-Yves Choley},

url = {10.1109/SysCon47679.2020.9275868},

issn = {978-1-7281-5366-7},

year  = {2020},

date = {2020-04-01},

booktitle = {IEEE International Systems Conference},

address = {Montreal, Canada},

abstract = {Today's systems involve increasing functionality and different engineering domains, and thus are getting more complex. To deal with this complexity while designing safety-critical systems, it is required to integrate systems engineering and safety assessment to support functional and dysfunctional behaviors as early as possible. The use of models is also compulsory for the design of complex systems to perform simulations and evaluate several alternatives with regard to various requirements and constraints. In this paper, we propose to explore the feasibility of a model transformation to automatically generate safety analysis models with AltaRica 3.0 from system models with SysML. The meta-models linking the two languages that share some similar concepts to model system architecture and behavior are used to generate classes, blocks, events, transitions and assertions in AltaRica. Starting from the same system specification, the automatically generated safety code from systems engineering models can be compared to code written manually by safety engineers to verify if they are semantically equivalent. This transformation provides systems engineers and safety experts with means to collaborate, reduces error-proneness and inconsistencies, and ensures that safety experts perform safety assessment on up-to-date system models.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{alouache_2611,

title = {Credit based incentive approach for V2V cooperation in vehicular cloud computing},

author = {Lylia Alouache and Nga Nguyen and Makhlouf Aliouat and Rachid Chelouah},

url = {https://doi.org/10.1007/978-3-030-05081-8_7},

issn = {978-3-030-05080-1},

year  = {2018},

date = {2018-11-01},

booktitle = {5th International Conference Internet of Vehicles Lecture Notes in Computer Science book series (LNISA,volume 11253)},

address = {Paris, France},

abstract = {The Vehicular Cloud Computing (VCC) represents an important factor of smart cities through which Internet access can be offered to vehicular networks to store and download content via mobile gateways. The deployment of this service is focused on the exchange and the share of information between network entities. However, selfish nodes are an obstacle in a totally distributed network. As a solution, a compensation could be provided to the vehicles that are willing to participate in VCC or to become an Internet gateway, while preserving their anonymity. Different credit-based incentive schemes are discussed in this paper. A scenario based on the Blockchain technology which implements a virtual payment service for the VCC members, for the resource consumption and for the gateway service in V2V routing mode, is proposed.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nguyen_2608,

title = {AltaRica 3.0 code generation from SysML models},

author = {Nga Nguyen and Faïda Mhenni and Jean-Yves Choley},

url = {https://www.taylorfrancis.com/chapters/oa-edit/10.1201/9781351174664-306/altarica-3-0-code-generation-sysml-models-nga-nguyen-faida-mhenni-jean-yves-choley},

issn = {9781351174664},

year  = {2018},

date = {2018-06-01},

booktitle = {28th European Safety and Reliability Conference  Safety and Reliability - Safe Societies in a Changing World},

address = {Tronheim, Norway},

abstract = {In order to bridge the gap between Model-Based Systems Engineering and Model-Based Safety Assessment, we propose in this paper a language transformation between SysML semi-formal models and the formal language AltaRica 3.0. Meta-data of SysML Block Definition Diagram and Internal Block Diagram that describe system architecture as well as meta-data of SysML State Machine Diagram that represent system behavior (in a limited formalism with respect to AltaRica's Guarded Transitions System) are used to generate AltaRica classes, blocks, events, transitions, etc. Flow port directions and connectors are used to create flow propagation assertions. The object and prototype-oriented paradigm of AltaRica 3.0 with class, composition, inheritance, etc. will be respected since SysML and AltaRica's System Structure Modeling Language share commonalities in structuring constructs. It is obvious that one modeling language cannot be replaced by the other because their goals and domains are different, but the mapping between languages such as SysML and AltaRica allows better understanding and communication between systems engineers and safety experts. Once the preliminary AltaRica 3.0 code is generated with structural and behavioral information, safety experts will complete and validate the code with stochastic models, synchronization, common cause failures and redundancy mechanism to carry out safety assessment based on the expressive power of the language, thanks to its mathematical framework.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{mili_2609,

title = {Attack modeling and verification for  connected  system  security},

author = {Saoussen Mili and Nga Nguyen and Rachid Chelouah},

url = {10.1109/SYSOSE.2018.8428695},

issn = {978-1-5386-4877-3},

year  = {2018},

date = {2018-06-01},

booktitle = {2018 13th Annual Conference on System of Systems Engineering (SoSE)},

address = {Paris, France},

abstract = {n the development process of critical systems, one of the main challenges is to provide early system validation and verification against vulnerabilities in order to reduce cost caused by late error detection. We propose in this paper an approach that, firstly allows formally describe system security specifications, thanks to our suggested extended attack tree. Secondly, static and dynamic system modeling by using a SysML connectivity profile to model error propagation is introduced. Finally, a model checker has been used in order to validate system specifications.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{mhenni_2606,

title = {Verification and validation of the consistency between multi-domain system models},

author = {Fa¨?da Mhenni and Mhenni Fa¨?da and Jean-Yves Choley and Nga Nguyen},

url = {10.1109/SYSCON.2018.8369561},

issn = {2472-9647},

year  = {2018},

date = {2018-04-01},

booktitle = {IEEE International Systems Conference},

address = {Vancouver, Canada},

abstract = {The modeling of mechatronic systems requires the collaboration of several professions such as systems architect, safety expert, mechanical engineer and electronic engineer. Thus, various complex system models using different modeling languages are provided. This paper presents a verification and validation approach that aims to assure the structural consistency between such models. First, the system representations using SysML, AltaRica and Modelica languages for systems engineering, safety analysis and multi-physics respectively, are transformed into labeled and directed multi-graphs. Then, these graphs will be compared for equivalence by using different graph concepts such as isomorphism, subgraph, number of system inputs and outputs, etc. This method allows to synchronize models into one single representation respecting all specifications inherent to each modeling language. Furthermore, inconsistencies are identified when passing from one model to another and feedbacks will be given to each domain expert for validation. A case study from an aeronautical system is used throughout the paper to illustrate our approach.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{alouache_2607,

title = {Toward a hybrid SDN architecture for V2V communication in IoV environment},

author = {Lylia Alouache and Nga Nguyen and Rachid Chelouah},

url = {10.1109/SDS.2018.8370428},

issn = {978-1-5386-5901-4},

year  = {2018},

date = {2018-04-01},

booktitle = {2018 Fifth International Conference on Software Defined Systems (SDS)},

address = {Barcelona, Spain},

abstract = {Internet of Vehicles (IoV) represents the evolution of Vehicular Ad-hoc Networks into Internet of Things paradigm using cloud computing as support. In IoV, Vehicle-to-Vehicle is the principal communication mode where the vehicles are either data transmitter, relay or receiver. This type of communication is subject to disturbances which deteriorate connectivity and hence the quality of service as it prevents access to cloud services on board vehicle. In this paper, we propose a robust routing protocol for the transmission of data packets satisfying the evolution of the topology and the mobility of the network by adopting a hybrid Software-Defined Networking architecture. This is done by disassociating the control plane that makes decisions about where data is sent from the data plane that forwards data to the selected destination. The control decisions are based on different criteria, namely the contact duration, the free load and the communication errors, which are carried out by each vehicle, in a decentralized mode. However, the error logs are handled within clusters, by an elected cluster head node, in a locally centralized mode. An implementation of this proposed hybrid protocol on a multi-agent platform with a comparative study is presented in this paper.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}